13. Разработка схемы , реализующей наборы выходных сигналов конечного автомата.
Составим , согласно таблице переходов и выходов конечного автомата, таблицу выходов автомата:
|
xt At |
X1 |
X2 |
X3 |
|
a0 |
Y1 |
Y2 |
Y1 |
|
a1 |
Y2 |
Y1 |
Y2 |
|
a2 |
Y1 |
Y2 |
Y3 |
|
a3 |
Y3 |
Y1 |
Y1 |
|
a4 |
Y1 |
Y3 |
Y2 |
|
a5 |
Y2 |
Y1 |
Y3 |
|
a6 |
Y3 |
Y2 |
Y1 |
|
a7 |
Y1 |
Y3 |
Y1 |
Число двоичных выходных переменных n определяется выражением:
2n>=N, где N-количество наборов выходных сигналов автомата (определяем из таблицы выходов автомата).
2n>=3; n=2
Для того , чтобы закодировать 3 набора выходных сигналов понадобится 2 двоичных выходных переменных(y2,y1).
Так как автомат Мили имеет импульсный выход, то один из наборов выходных сигналов появляется на выходе автомата только на время присутствия синхроимпульса СИ. Во время паузы между синхроимпульсами ни один из наборов выходных сигналов присутствовать на выходе не должен. В это время на выходе автомата должен формироваться пустой сигнал <<е>>.Следовательно, выходные наборы сигналов автомата нужно дополнить пустым сигналом <<е>>.