Определение разрядности регистра состояний МПА

Согласно графу МПА, проектируемый конечный автомат должен иметь 8 состояний (от нуля до семи). Следовательно, для кодирования любого его состояния достаточно трехразрядного регистра состояний и дешифратора на три входа и восемь выходов.

Выбор типов используемых триггеров

В данном случае рассмотрим использование обоих типов триггеров для регистра состояния.

Кодирование состояний автомата

Состояния автомата пронумеруем символами a0, a1, и так далее. Нумерацию состояний автомата можно производить в произвольном порядке. Иногда использование произвольной нумерации приводит к упрощению схем формирования управляющих сигналов и сигналов перехода.

Составление совмещенной таблицы выходов и переходов МПА

Совмещенная таблица выходов и переходов – это запись графа автомата в табличной форме. Таблица содержит список, в котором для каждого перехода в автомате отводится отдельная строка. В строках таблицы фиксируются все возможные переходы из исходных состояний с указанием входных сигналов(сигналов оповещения) и выходных сигналов (микрокоманд), а также сигналов переходов (условий перехода) для выбранных типов триггеров регистра состояний автомата.

Совмещенная таблица выходов и переходов -это массив возможных путей переходов конечного автомата. Она представлена на таблице 10.

Таблица 10. Совмещенная таблица выходов и переходов автомата Мура.

Исходное состояние	Код исходного состояния	Состояние перехода	Код состояния перехода	Входные сигналы (оповещения)	Выходные сигналы	Сигналы переходов D-триг.	Сигналы переходов JK-триг.
а0		а1		–	–	D3	J3
а1		а2		–	Y1=y1	D2	J2, K3
а2		а3			Y2=у2,y6(tз)	D2 D3	J1
а2		а4		p	D1	J1, K2, K3
а3		а7		–	Y3= y4,y6(tз)	D1 D2 D3	J1
а4		а5			Y4=y4, у5, y6(tз)	D1 D3	J3
а4		а6		X3	D1 D2	J2
а5		а7		–	Y5=y7.	D1 D2 D3	K2
а6		а7		–	Y6=y5 y6(tз) y7	J3
а7		а0		–	Y7=y3	–	K1,K2,K3
Формирование сигнала окончания цикла W = а7.