4.1.1

Конечный автомат

           
OOIOOIIO   ¬
 
               1               
O I
  1
0 0
 
¬  001101001

 

Текущее
состояние		 Символ
на входе		 Новое состояние
(символ на выходе)
O 0 O
O 1 I
I 0 I
I 1 А

 

Синтаксис "языка конечных автоматов" (в виде Рефал-выражения):

 
Автомат ::= ОписаниеСостояние*
ОписаниеСостояние ::= (Состояние Переход*)
Переход ::= (ВходнойСимвол НовоеСостояние)
 

Пример:

(O ('0' O) ('1' I)) (I ('0' I) ('1' O)))