Синтез синхронных автоматов по заданной временной вход-выходной последовательности
7

(а4, 3) со значением выходов z1z2 = 01. В состояние 4 (а3, 4) схема переходит под воздействием входного сигнала 10, под воздействием сигнала 01, схема переходит в состояние 5 (а2, 5) со значением выходов z1z2 = 11. Завершается циклическая вход-выходная первая последовательность подачей входного сигнала 00 и переходом схемы в начальное состояние (а1, 1).

Затем таблица переходов расширяется с учетом второй и третьей вход-выходных последовательностей. При этом их начальные состояния совпадают с начальным состоянием первой последовательности.

Построим граф переходов (рис. 8).

Для начала вводятся обозначения: вершина графа представляет собой круг, поделенный по диаметру пополам горизонтальной чертой, над чертой пишутся номера состояний, под чертой – значения выходов. Дуги графа – все возможные переходы из данного состояния в другое, включая устойчивые состояния.

Итак, для примера рассмотрим построение графа для первой вход-временной последовательности: из состояния 1, 00 под входным воздействием 01 схема переходит в состояние 2, 00, далее под воздействием 11 схема переходит в состояние 3, 01, затем под входным воздействием 10 – в состояние 4, 10, под воздействием 01 – в состояние 5, 11, наконец, под воздействием 00 – в исходное состояние 1, 00. Устойчивые состояния на графе показываются дугами, исходящими и входящими в одну и ту же вершину графа с подписью значений входов схемы.