Выдержка из книги
Ершов А.П.
Введение в теоретическое программирование беседы о методе
Если V - распознаватель с условием F) и пи одна из его выходных дуг не имеет А в качестве пометки, то метим набором Д плюс-стрелку у V, если F ( A) t, ц минус-стрелку - в противном случае.
