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

                           а)                                    б)

                    Рисунок 7 – Графы автоматов: Мура а), Мили б)


        3.1.3 Построение таблицы переходов и выходных функций

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


              x1x2                  y
        00s 01 10          11
                                Y                                x1x2
   s0    s1    s1     s2   s2     -                  s
                                                    00       01        10       11
   s1    s5    s3     s5   s3    y1           s0   s1/y1    s1/y1     s1/y2    s1/y2
   s2    s5    s3     s5   s3    y2           s1   s1/y3   s2/y2y3    s1/y3   s2/y2y3
   s3    s4    s4     s4   s4   y2, y3        s2   s3/y4    s3/y4     s3/y4    s3/y4
   s4    s0    s0     s0   s0    y4           s3    s0/-     s0/-      s0/-     s0/-
   s5    s5    s3     s3   s5    y3

                           а)                                           б)

              Рисунок 8 – Табличное представление функций для автоматов:
                                  Мура а), Мили б)




                                                                                   13