Синтезировать автомат с одним входом и одним выходом

Составим таблицу истинности (табл. 1), в которой укажем все возможные комбинации входных символов группы и результат на выходе.
Таблица 1
Входные символы группы Выходной символ
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0
Изобразим граф автомата Мили (рис. 1), у которого выходной символ меняется только после обработки третьего символа последовательности (группы). Обозначим состояния A0 – A11, входной и выходной символы укажем на переходе (дуге) из состояния Ai(t) в состояние Ai(t+1) в виде x / y.
Рис. 1
Как видно на рисунке 1, состояния A3 и A5 отвечают за принятие решения о соответствии обработанной триады условию (в группе не более одного символа 1).
Выполним кодирование состояний (табл . 2).
Таблица 2
Состояние Q3 Q2 Q1 Q0
А0 0 0 0 0
A1 0 0 0 1
A2 0 0 1 0
A3 0 0 1 1
A4 0 1 0 0
A5 0 1 0 1
A6 0 1 1 0
A7 0 1 1 1
A8 1 0 0 0
A9 1 0 0 1
A10 1 0 1 0
A11 1 0 1 1
Запишем таблицу переходов D-триггера (табл. 3).
Таблица 3
Qi(t) Qi (t+1) D
0 0 0
0 1 1
1 0 0
1 1 1
Как видно из таблицы 3, значения столбца D совпадают со значениями Q(t+1)
Составим таблицу переходов автомата (табл