Табличный метод структурного синтеза конечных автоматов
Таким образом, получим значения входных сигналов J и K элементарных автоматов, которые зависят как от значения входного сигнала так и от состояния автомата в тот же момент времени, что и Qi и B (т.е. в t).
Поскольку функции возбуждения J(t) и K(е) определенны в тот же момент времени, что и их аргументы Q1(t), Q2(t) и B1(t), то эти функции являются переключательными.
В результате мы получим систему переключательных функций Z1(t), Z2(t), J1(t), K1(t), J2(t) и K2(t) заданных в виде таблиц их истинности.
5. Следующий этап – комбинационный синтез конечных автоматов. На этом этапе по полученным переключательным функциям синтезируются комбинационные схемы. Очевидно, задача комбинационного синтеза конечных автоматов полностью совпадает с задачей синтеза логических схем, которую мы уже рассматривали. Обычно полученные переключательные функции минимизируют и представляют в булевом базисе, для каждой из которых построим диаграмму Вейча.
|
J1 |
0 |
0 |
b |
B |
J2 |
1 |
B |
B |
1 |
|
1 |
1 |
b |
b |
0 |
b |
b |
0 |
|
Z1 |
0 |
0 |
B |
0 |
|
1 |
1 |
b |
0 |
|
K1 |
B |
B |
B |
1 |
K2 |
B |
0 |
B |
B |
|
B |
B |
b |
1 |
b |
1 |
b |
B |
|
Z2 |
0 |
1 |
B |
1 |
|
0 |
0 |
b |
0 |
Обычно полученную систему ПФ минимизируют совместно. Однако совместная минимизация всех ПФ представляет собой достаточно трудоемкую и длительную операцию, применимую, в общем случае, при использовании машины. В результате минимизации мы получим следующую схему конечного автомата.
предыдущаяследующая