Если алфавит имеет К символов, можно определить инициальный автомат с 2К состояниями, которые соответствуют парам ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск14
Если алфавит имеет К символов, можно определить инициальный автомат с 2К состояниями, которые соответствуют парам ( В, X), где В - истина или ложь в зависимости от того, был последний символ 2 или не 2, а X - символ, который следовал после предыдущей максимальной цепочки двоек.