Табличный метод структурного синтеза конечных автоматов
|
Вх.сигн.структ.авт Вх.сигн.задан.авт |
Z1 |
Z2 |
|
Y1 |
0 |
0 |
|
Y2 |
0 |
1 |
|
Y3 |
1 |
0 |
Таблица кодирования выходных сигналов.
Поэтому автомат имеет три состояния, то комбинация состояний элементарных автоматов 11 не используется и является запрещенной (автомат в это состояние никогда не попадет). Здесь и в дальнейшем будем использовать естественное кодирование, когда наборы значений двоичных переменных расписываются в порядке возрастания их номеров. С учетом кодирования перерисуем совмещенную таблицу переходов и выходов абстрактного автомата.
|
Xj\ai |
00 |
01 |
10 |
|
0 |
01/00 |
01/01 |
01/01 |
|
1 |
10/10 |
10/10 |
00/00 |
В таблицах кодирования выходные каналы Z1 и Z2 называются физическими выходами автомата.
3. Пользуясь таблицами кодирования можно на основе заданных переходов и выходов построить кодированные таблицы переходов и выходов.
Кодированная таблица переходов определяет зависимость состояний Qi(t+1) элементарных автоматов в момент времени (t+1) от значения входного сигнала и внутренних состояний автоматов в предшествующий момент времени t. Т.е.
Qi(t+1) = fi[(Q1(t), Q2(t), …, Qr(t),
В кодированной таблице выходов – выходные сигналы Zl(t) определяются в зависимости от значения входных сигналов и внутренних состояний в момент времени t.
|
t1(t) |
Q1(t) |
Q2(t) |
Q1(t+1) |
Q2(t+1) |
Z1(t) |
Z2(t) |
|
0 |
0 |
0 |
0 |
1 |
0 |
0 |
|
0 |
0 |
1 |
0 |
1 |
0 |
1 |
|
0 |
1 |
0 |
0 |
1 |
0 |
1 |
|
0 |
1 |
1 |
- |
- |
- |
- |
|
1 |
0 |
0 |
1 |
0 |
1 |
0 |
|
1 |
0 |
1 |
1 |
0 |
1 |
0 |
|
1 |
1 |
0 |
0 |
0 |
0 |
0 |
|
1 |
1 |
1 |
- |
- |
- |
- |
Эти функции являются переключательными, поскольку значения функции и ее аргументов определены в один и тот же момент времени t.
предыдущаяследующая