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 |
— |
5) Запись функций выходов и переходов автомата.
В
функциях выходов
,
записанных в виде ДНФ, описываются
условия формирования автоматом
микрокоманды yi;
am
— исходное состояние, X(am,as)
— условия перехода из am
в as.
В
функциях переходов
,
также записанных в виде ДНФ, описываются
значения сигналов управления элементами
памяти, обеспечивающих переход из
состояния am
в as.
Функции выходов и переходов могут быть минимизированы с использованием карт Карно или законов булевой алгебры.
По обратной структурной таблице запишем функции для Yi и Di.
