Теория автоматов. Жукалина И.В. - 12 стр.

вершину, иначе автоматы Мура и Мили, построенные по одной ГСА не будут
эквивалентными.
       На рисунке 6, б) представлена ГСА, отмеченные по приведѐнному
выше правилу.




                        а)                             б)

         Рисунок 6 – Отмеченные граф-схемы а) для автомата Мура, б) для
                            автомата Мили

      3.1.2 Построение графа-переходов или функционирования автомата

       Для автоматов Мура и Мили их внутренние состояния представляются
вершинами графа. Внутренние переходы от одного состояния к другому
изображаются направленными дугами. Для автоматов Мили и Мура значение
входного сигнала, вызывающего этот переход из текущего состояния s(t) в
последующее s(t+1), приписывается соответствующей дуге. Для автомата Мура
значения выходных сигналов зависят только от внутреннего состояния и поэто-
му приписываются соответствующей вершине. Таким образом, на графах
отображаются обе характеристические функции конечного автомата. Граф
автомата Мура, построенный по ГСА, представлен на рисунке 7, а).
       При формировании графа для автомата Мили необходимо учитывать,
что значения выходных сигналов y(t), определяемые значениями текущего
состояния s(t) и входных сигналов х(t), ставятся в соответствие самой дуге.
Граф автомата Мили приведен на рисунке 7, б).




12