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

состояний ЦА происходит без наличия входных сигналов (без условий), а по
тактовому синхросигналу, то на соответствующей дуге перехода ставится
прочерк.


                      S0/-                                                S0
             X1                    X1
                                                   X 1 /Y1
     S1/y1        -                      S2/y2                    X1/y2         - /y5
                              X2
 X2                                      X2
                                   X2                                X2/y3,y4
                                                      S1                                S2
                        X2
     S3/y3                              S4/y3,y4

                               -                        X 2 /Y3
        X2            S5/y5


                       а)                                                 б)

     Рисунок 5.2 – Графы переходов: а) для автомата Мура, б) для автомата Мили

       Таблицы переходов состояний и выходов ЦА строятся с учетом
размеченной ГСА и графов переходов. Существует несколько форм табличного
представления ЦА, представленные в таблицах 5.1 – 5.3.
       В таблице 5.1 представлена совмещенная таблица переходов и выходов
ЦА Мура и Мили, построенная в соответствии с выражениями (5.1)-(5.4).
       Прочерки в таблице для входных сигналов обозначают безразличную
реакцию ЦА на значение входного сигнала в данный момент времени. Прочерки
для выходных сигналов означают смену перехода состояния ЦА без выдачи
команды. Таблица 5.1 обычно используется в процессе синтеза ЦА и имеет
детализированную структуру.
       На этапе задания ЦА часто используется более компактная форма
описания ЦА, представленная в таблицах 5.2 – 5.3.
       Для автомата Мура в ячейках таблицы переходов-выходов для значений
аргументов х(t), и состояния s(t-1) проставляются коды состояний s(t). Код
выходных сигналов Y(t) представляются в отдельном столбце.
      Для автомата Мили в ячейках таблицы переходов-выходов для каждой пары
аргументов и предшествующего состояния ЦА проставляются коды текущих
состояний и выходных сигналов.


28