s0 – состояние, в котором автомат «помнит» 0,
s1 – состояние, в котором автомат «помнит» 1.
Опишем данный автомат таблицами и графом
Таблица переходов и таблица выходов:
x\s |
s0 |
s1 |
|
|
x\s |
s0 |
s1 |
0 |
s0 |
s0 |
|
|
0 |
0 |
1 |
1 |
s1 |
s1 |
|
|
1 |
0 |
1 |