Синтез цифровых автоматов. Захаров Н.Г - 25 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

24
Таблица 1
Входы Выходы
x
1
x
2
x
3
y
1
y
2
y
3
0 0 0 0 0 0
0 0 1 1 0 0
0 1 0 0 1 0
0 1 1 1 1 0
1 0 0 1 1 1*
1 0 1 - - -
1 1 0 - - -
1 1 1 - - -
011
100
010
001
100
011
011
010
000
010
001011
001
000
001
000
000
100
010
100
В таблице 1 три последние набора не имеют выходного значения, т. е. выходы
не определены.
Рассмотрим последовательно входные наборы.
1) х
1
х
2
х
3
= 000. Этому набору соответствует начальное состояние q
0
, которое не
должно изменяться, что отображается дугой, выходящей и входящей в q
0
.
2) х
1
х
2
х
3
= 001. Состояние устройства меняется на q
1
. Значит, проводится дуга
от состояния q
0
к состоянию q
1
и помечается набором 001.
3) х
1
х
2
х
3
= 010. Новое состояние обозначим q
2
, для чего соединим q
0
и q
2
дугой
и обозначим ее набором 010.
4) х
1
х
2
х
3
= 011. Переход в состояние q
3
, которое также отличается от всех пре-
дыдущих. Соединим q
0
и q
3
дугой, отмеченной набором 011.
5) х
1
х
2
х
3
= 100. В таблице этому набору соответствуют два набора: либо 111,
либо 000, что помечено звездочкой (*). Для определенности можно уточнить, что вы-
бран набор 000, т. е. возврат в начальное состояние. Значит, надо отметить дугу, вхо-
дящую и выходящую из q
0
еще набором 100.
Аналогичным образом поступаем с остальными внутренними состояниями q
1
,
q
2
, q
3
, в результате чего получаем окончательный граф переходов для рассматривае-
мого автомата.
На основании графа автомата можно составить таблицу переходов или таблицу
выходов (табл. 2).
Состояние автомата, вершина графа для которого имеет только исходящие ду-
ги, но не имеет входящих дуг, называется переходящим. В такое состояние попасть
нельзя, из него можно только выйти. Состояние автомата называется тупиковым, ес-
ли соответствующая вершина графа не содержит исходящих дуг, но имеет хотя бы
одну входящую дугу.
q
2
q
1
q
0
q
3
Рис. 1.11. Граф переходов к таблице 1

Страницы