Первый способ тривиален, поэтому в нашем примере выберем второй.
1 Соответствующий граф будет иметь вид:
1 При Х=1 автомат из начального (нуле-
1 1 0 вого) состояния перейдёт в первое сос-
0 0 0 1 2 0 тояние и будет его сохранять.
0 При этом выходной сигнал изменится
0 3 1 с 0 на 1.
1
При Х=0 автомат перейдёт во второе состояние и зафиксирует его. При этом выходной сигнал не изменится.
Далее, при Х=1 автомат переходит в третье состояние с изменением выходного сигнала и, наконец, при Х=0 возвращается в начальное состояние без изменения выходного сигнала.
Таким образом, в нашем примере минимальное число состояний, обеспечивающее устойчивый автомат, оказалось равным четырём.
Цикл работы автомата состоит из двух тактов. В каждом такте состояние автомата меняется дважды, а выходной сигнал - единожды.