s0 – состояние, в котором автомат «помнит» что поступило четное количество единиц,
s1 – состояние, в котором автомат «помнит», что поступило нечетное количество единиц.
Опишем данный автомат таблицами и графом
Таблица переходов и таблица выходов.
x\s |
s0 |
s1 |
|
|
x\s |
s0 |
s1 |
0 |
s0 |
s1 |
|
|
0 |
0 |
1 |
1 |
s1 |
s0 |
|
|
1 |
1 |
0 |
Оба рассмотренных автомата имеют "слабую" память, но слабую в разном смысле. У первого автомата "короткая" память во времени (помнит только один сигнал). У второго автомата память "длинная" (длина входной последовательности может быть любой), но он различает (распознает) лишь два класса последовательностей.