Синтез автомата Мили.

Рассмотрим на примере обратной структурной таблицы автомата Мили на жесткой логике (см. п.1.1.). Таблица 2 из п.1.1. дополнена столбцом T(a_m, a_s) — функция переходов T_i, в которых состояние a_i выражены через Q_i — состояние элементов памяти.

Таблица 5.

№	am	k(am)	as	k(as)	X(am, as)	Y(am, as)	F(am, as)	T(am, as)
	a0		a0			y6	D1D0
	a3					y6	D1D0
	a0		a1			y1y4y5	D1
	a1					y1y4y5	D1
	a0		a2			y1y2y3	D0
	a1					y1y2y3	D0
	a0		a3			y1y2y5	—
	a0					y3y4y5	—
	a1					y1y2y5	—
	a1					y3y4y5	—
	a2					y3y4y5	—
	a2					y1y2y5	—
	a3					y3y4y5	—
	a3					y1y2y5	—

В схеме автомата используется две матрицы. Матрица «и» вычисляет T_i — функции переходов автомата Мили. Матрица «или» для вычисления функций выхода и сигналов управления элементами памяти D_i «объединяет» те функции T_i, при которых должны формироваться y_i или D_i.

Рис. 6. Функциональная схема автомата Мили на матрицах.