Так как каждый распознаватель срабатывает однозначно, а значения предикатных переменных не изменились, цикл передач управления ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Ершов А.П.
Введение в теоретическое программирование беседы о методе
Так как каждый распознаватель срабатывает однозначно, а значения предикатных переменных не изменились, цикл передач управления будет выполняться неограниченное число раз.
