Для модели Мили

^.

С целью получения наиболее простого выражения, сокращенные се­квенции подвергаются минимизации, при выполнении которой необхо­димо проверять, чтобы получаемые в процессе преобразований секвен­ции не противоречили друг другу. Полученные для рассматриваемого автомата сокращенные секвенции имеют вид:

для модели Мура	для модели Мили
	.

В качестве примера рассмотрим реализацию в базисе «И–НЕ» автомата заданного моделью Мура (см. рис. 9.2, а). Полученные для рассматриваемого автомата сокращенные секвенции имеют вид:

;

;

;

; .

Для построения на основе полученного секвенциального описания структуры ав­томата необходимо наличие двух блоков: 1) реализации переходов, определяющих состояния автомата, и 2) реализации функций выхо­да. Для управления элементами памяти синтезируемого автомата функции , , необходимо использо­вать в качестве переключающих сигналов. С целью уменьшения тре­буемого объема памяти, любому состоянию автомата удобно поставить в соответствие некоторую кодовую комбинацию, определяемую состоянием всех триггеров автомата (табл. 9.1).

Таблица 9.1