Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Теория автоматов учебное пособие томского политехнического университета.DOC
Скачиваний:
147
Добавлен:
11.04.2014
Размер:
2.89 Mб
Скачать

6.4.1.3. Графы автоматов

Графы автоматов Мура и Мили показаны на рис.38 и 39 соответственно. Как видно, в начале дуги ставится осведомительный (входной) сигнал. Что касается выходных сигналов, то в ЦА Мура они фиксируются внутри вершины состояний, а в ЦА Мили - на конце дуги. Из графов также видно, что вершин в графе автомата (ГА) Мура больше по сравнению с числом вершин в ГА Мили.

s0 s0 *

0 0

1 1

Y1 Y1

s1

s1 *

0 0

1 1

Y2 Y5 Y2 Y5

s2 s5

s2 *

Y3 Y 3

s3

s3 *

Y4

s4

Y4

Y6 s4 * Y6

s6

0 0

1 *s0 1 s0

YK YK *

0 0

  1. 1

Рис.36 Отметки для ЦА Мура Рис.37 Отметки для ЦА Мили

X2 1

s1 s2

X1 y1,y3 y2

__ __

X1 s0 X2 s3

y4,y5

__

1 X3 1

1 s6 s5 X3X4 s4

y6 y5 y1,y2

__

X3X4

Рис.38. ГА Мура

X2y2

y1 1

y3 s1 X2 y6 s2

__ X1 y4,y5

s0 s3

y5 __ __ 1

X3X4 X3 y1,y2

y1

s4

X3X4 y2

Рис.39. ГА Мили

Для ЦА принято входные сигналы обозначать прописными буквами с

преобразованием номера в индекс: следовательно, вместо ХI надо писать х i.

6.4.1.4. Cинтез запоминающей части

Количество триггеров запоминающей части у ЦА определяется из расчета того, чтобы число состояний регистра было бы не меньше того, что получилось на графе автомата.

Следовательно, nT  log2 ns,

где: ns - число состояний, nT - количество триггеров.

Для УЦА Мура ns,my = 7, для УА Мили ns,my = 5. В любом случае требуется по три триггера. Одно состояние в первом случае и три состояния во втором случае будут лишними.

На рис.40 представлена запоминающая часть обоих автоматов с указанием задействованных выходов дешифратора DC.

Старшим разрядом регистра является первый, младшим - третий.

DC

s0

T

1

D1

s1

ЦА

s2 Мили

ЦА

T

2

D2 s3 Мура

s4

T

3

D3 s5

s6

s7

СИ

Рис. 40. ЗЧ обоих автоматов

6.4.1.5. Синтез выходной части

Легче идет синтез выходной части для ЦА Мура. В данном случае имеет место соответствие между данным состоянием и выходными сигналами:

s1  y1, y3, s2  y2, s3  y4, y5, s4  y1, y2, s5  y5, s6  y6.

Из этого соответствия следует, что :

y1 = s1 V s4; y2 = s2 V s4; y3 = s1; y4 = s3; y5 = s3 V s5; y6 = s6.

Логическая схема формирования выходных сигналов показана на

рис. 41.

1

s0

11 y1

s1

1

s2

y2

s3

y3

s4

s5 y4

1

s6 y5

y6

Рис.41 Схема формирования выходных сигналов УА Мура

При синтезе выходной части ЦА Мили следует дополнительно использовать входные сигналы X1 - X4:

s0  X1, y1, y3; s1  X2, y2;

s1  X2, y6; s2  y4, y5;

s3  y1, y2; s4  X3X4,y5;

s4  X3,y1,y2; s4  X3X4, - .

Из этого следует, что:

y1 =s0 X1 V s3V s4 X3; y2 = s1 X2 V s3 V s4 X3;

y3 = s0 X1; y4 = s2; y5 = s4 X3X4 V s2; y6 = s1 X2.

Логическая схема формирования выходных сигналов ЦА Мили показана на рис. 42.