Преобразуем исходную таблицу в специальную форму с выделением входных - выходных сигналов и внутренних состояний.
Таблица 3.11 - Промежуточная таблица
| Входы | x(n) | 000 111 222 333 |
| Текущие состояния | s(n) | 012 012 012 012 |
| Следующие состояния | s(n+1) | 211 210 002 010 |
| Выходы | y(n) | 010 001 011 110 |
Заменяя десятичные числа на двоичные, получим таблицу истинности, в которой значения x(n), s(n), s(n+1), y(n) представлены в двоичном коде.
Таблица 3.12 - Таблица истинности конечного автомата
| x(n) | s(n) | s(n+1) | y(n) | |||
| x1(n) | x2(n) | s1(n) | s2(n) | s1(n+1) | s2(n+1) | |
| * | * | * | ||||
| * | * | * | ||||
| * | * | * | ||||
| * | * | * |
Граф конечного автомата будет иметь вид, показанный на рис. 3.13.
 |
0/1 Ú 1/0 Ú 3/1
2/1 1
0 1/1 Ú 3/0 0/0
2/0 Ú 3/1
0/0 Ú 0/1 2 2/1
 |
Рис. 3.13 - Граф синтезируемого конечного автомата
Исходные функции для синтеза автомата по таблице 3.12 будет иметь вид:
s1(n+1) = `x1(n)`x2(n)`s1(n)`s2(n) Ú x1(n)x2(n)`s1(n)`s2(n) Ú `x1(n)`x2(n)s1(n)`s2(n);
s2(n+1) = ` x1(n)`x2(n)`s1(n)s2(n) Ú `x1(n)`x2(n)s1(n)`s2(n) Ú `x1(n)x2(n)`s1(n)s2(n) Ú
x1(n)x2(n)`s1(n)s2(n);
y(n) = `x1(n)`x2(n)`s1(n)s2(n) Ú `x1(n)x2(n)s1(n)`s2(n) Ú x1(n)éx2(n)és1(n)s2(n) Ú
Ú x1(n)`x2(n)s1(n)`s2(n) Ú x1(n)x2(n)`s1(n)`s2(n) Ú x1(n)x2(n)`s1(n)s2(n).
Дата добавления: 2015-10-05; просмотров: 808;