3) Кодирование состояний автомата.
УА с жесткой логикой имеет память состояний, которая обычно выполнена на D- или RS- триггерах, синхронизируемых фронтом. Каждое состояние кодируется двоичным числом. Минимальное количество триггеров для памяти состояний должно быть больше или равно log2 (количество состояний автомата). В данном примере |А| - количество состояний автомата = 4, поэтому число элементов памяти = 2. Закодируем состояния автомата:
k(a0)=11
k(a1)=10
k(a2)=01
k(a3)=00
4) Обратная структурная таблица.
Обратная структурная таблицы автомата строится из прямой таблицы переходов упорядочиванием строк по полю аs и добавлением столбцов k(am), k(as), F(am,as).
В столбце F(am,as) — записываются значения сигналов управления элементами памяти. В данном примере в качестве элементов памяти выбраны D-триггера. Их состояние зависит от значения управляющего сигнала D на входе D-триггера.
Таблица 2.
№ |
am |
k(am) |
as |
k(as) |
X(am,as) |
Y(am,as) |
F(am,as) |
1 |
a0 |
11 |
a0 |
11 |
|
y6 |
D1D0 |
2 |
a3 |
00 |
|
|
|
y6 |
D1D0 |
3 |
a0 |
11 |
a1 |
10 |
|
y1y4y5 |
D1 |
4 |
a1 |
10 |
|
|
|
y1y4y5 |
D1 |
5 |
a0 |
11 |
a2 |
01 |
|
y1y2y3 |
D0 |
6 |
a1 |
10 |
|
|
|
y1y2y3 |
D0 |
7 |
a0 |
11 |
a3 |
00 |
|
y1y2y5 |
— |
8 |
a0 |
11 |
|
|
|
y3y4y5 |
— |
9 |
a1 |
10 |
|
|
|
y1y2y5 |
— |
10 |
a1 |
10 |
|
|
|
y3y4y5 |
— |
11 |
a2 |
01 |
|
|
|
y3y4y5 |
— |
12 |
a2 |
01 |
|
|
|
y1y2y5 |
— |
13 |
a3 |
00 |
|
|
|
y3y4y5 |
— |
14 |
a3 |
00 |
|
|
|
y1y2y5 |
— |
