Синтез синхронных автоматов по заданной временной вход-выходной последовательности
5
t1: x1x2 = 00, z1z2 = 00. Последовательности могут сменять друг друга в произвольном порядке.
Рис. 6. Вход-выходные временные последовательности
и временные диаграммы к ним
2.3 Построение графа переходов
и первичной таблицы переходов
Первым этапом построения графа переходов и первичной таблицы переходов является нумерация состояний по исходным данным.
Анализируя временные диаграммы (рис. 6), следует пронумеровать состояния схемы, используя два правила: