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

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

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

k(b₀)=000 k(b₁)=001 k(b₂)=010

k(b₃)=011 k(b₄)=100 k(b₅)=101

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

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

Таблица 2.

№	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 из которых был переход в узел .

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

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