6) Построение схемы автомата Мили (рис.2).

В качестве элементов памяти использованы D-триггера T₁ и T₀. DC — дешифратор состояний автомата. Z_i — промежуточные функции — термы из функций. Их введение позволило упростить схему автомата.

Р ис. 2. Функциональная схема автомата Мили на жесткой логике.

1.2. Синтез автомата Мура по гса.

1) Разметка состояний.

В автомате Мура каждой операторной вершине соответствует состояние автомата. Переход из состояния b_m в состояние b_s — это переход из одной операторной вершины в другую при выполнении логический условий X(b_m,b_s) на пути из b_m в b_s.

Т.к. начальное и конечное состояние автомата совпадают, на ГСА искусственно добавлена еще одна операторная вершина, соответствующая состоянию b₀.

Узлы используются для упрощения формул переходов и ставятся на ГСА в точках, где несколько путей сходятся, а затем расходятся. Узлы не кодируются.

Рис. 3. Размеченная ГСА автомата Мура с узлами.

2) Прямая таблица переходов.

Прямая таблица переходов строится так же, как и для автомата Мили (см. п.1.1.) Отличительная особенность: в данном примере в ГСА введены узлы . В ГСА с узлами возможны переходы четырех видов:

a_m  a_s, a_m  ,  a_s,  .

Все эти переходы описываются в прямой таблице переходов.

Таблица 3.

№	bm	bs	X(bm,bs)	Y(bm,bs)
1	b0	b0		y6
2				—
3	b1		1	—
4	b2		1	—
5	b3	b0		y6
6				—
7	b4	b0		y6
8				—
9		b2		y1y2y3
10		b1		y1y4y5
11				—
12		b3		y1y2y5
13		b4		y3y4y5

В столбце X(b_m,b_s) единица записывается тогда, когда b_m в b_s переход осуществляется всегда.

3) Кодирование состояний.

Производится так же, как и у автомата Мили (см. п.1.1). (Узлы не кодируются).

В данном примере — автомат с пятью состояниями, для кодирования которого необходимо не менее трех двоичных разрядов. Память состояний на RS триггерах. Коды состояний:

k(b₀)=000

k(b₁)=001

k(b₂)=010

k(b₃)=011

k(b₄)=100

k(b₅)=101

4) Обратная структурная таблица.

Строится так же, как и для автомата Мили. Вначале описываются переходы в узлы, затем остальные переходы автомата.

Таблица 4.

№	bm	k(bm)	bs	k(bs)	X(bm,bs)	Y(bm,bs)	F(bm,bs)
1	b0	000		000		—	—
2	b1	001			1	—	—
3	b2	010			1	—	—
4	b3	011				—	—
5	b4	100				—	—
6						—	—
7	b0	000	b0	000		y6	—
8	b3	011				y6	R1R0
9	b4	100				y6	R2
10			b1	001		y1y4y5	S0
11			b2	010		y1y2y3	S1R0
12			b3	011		y1y2y5	R2S1S0
13			b4	100		y3y4y5	S2R1R0

Если переход в некоторое состояние b_s происходит из узла , то в автомате с памятью на RS триггерах значения R_i и S_i в обратной структурной таблице записываются с учетом кодов состояний b_m из которых был переход в узел .

На рис.4 показано, как определить значения R_i и S_i для нашего примера. Например, переход в b₁ возможен через узел из состояний b₀ (k(b₀)=000) и b₁ (k(b₁)=001). Из рис.3 видно, чтобы обеспечить оба перехода в b₁, необходимо выработать сигнал S₀, устанавливающий триггер T₀ в состояние логической единицы.

Рис. 4. Схема определения значений Ri и Si.