Теория автоматов. Аралбаев Т.З - 27 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

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

Рубрика: 

27
На рисунке 5.1 разметка ГСА для автомата Мили представлена
состояниями в скобках.
НАЧАЛО
КОНЕЦ
X
1
X
2
s
0
y
1
y
2
s
4
s
3
s
1
s
2
(s
1
)
y
3
(s
0
)
(s
2
)
s
5
s
0
(s
0
)
y
5
,y
4
y
3
0
10
1
Рисунок 5.1 – Размеченная граф-схема алгоритма
Графы переходов состояний ЦА строятся с использованием размеченной
ГСА. При этом состояния ЦА представляются вершинами графа. Переходы от
одного состояния к другому изображаются направленными дугами. Значение
входного сигнала, вызывающего этот переход из текущего состояния s(t) в
последующее s(t+1), приписывается соответствующей дуге. Для автомата Мура
значения выходных сигналов зависят только от состояния и поэтому
приписываются соответствующей вершине. Таким образом, на графах
отображаются обе характеристические функции автомата. Граф автомата Мура,
построенный по ГСА, представлен на рисунке 5.2 “а”, а для автомата Мили – на
рисунке 5.2 “б”.
При формировании графа для автомата Мили необходимо учитывать, что
значения выходных сигналов Y(t), определяемые значениями текущего состояния
s(t) и входных сигналов х(t), ставятся в соответствие самой дуге. Если смена 
       На рисунке 5.1     разметка ГСА    для автомата Мили представлена
состояниями в скобках.
                            s0    НАЧАЛО
                                   (s0)
                      0                                        1
                                         X1

             s1      y1                           s2           y2


                                   (s1)
                      0                                        1
                                         X2


             s3      y3                            s4 y3 ,y4

                                    (s2)
                                 s5    y5
                                   (s0)
                            s0      КОНЕЦ

              Рисунок 5.1 – Размеченная граф-схема алгоритма


        Графы переходов состояний ЦА строятся с использованием размеченной
ГСА. При этом состояния ЦА представляются вершинами графа. Переходы от
одного состояния к другому изображаются направленными дугами. Значение
входного сигнала, вызывающего этот переход из текущего состояния s(t) в
последующее s(t+1), приписывается соответствующей дуге. Для автомата Мура
значения выходных сигналов зависят только от состояния и поэтому
приписываются соответствующей вершине. Таким образом, на графах
отображаются обе характеристические функции автомата. Граф автомата Мура,
построенный по ГСА, представлен на рисунке 5.2 “а”, а для автомата Мили – на
рисунке 5.2 “б”.
        При формировании графа для автомата Мили необходимо учитывать, что
значения выходных сигналов Y(t), определяемые значениями текущего состояния
s(t) и входных сигналов х(t), ставятся в соответствие самой дуге. Если смена
                                                                         27

Страницы