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

       3.1.1 Получение отмеченной ГСА

          Абстрактный синтез управляющего автомата начинается с отметки
внутренних состояний         кодированной ГСА. Отметка состояний должна
соответствовать закону функционирования автомата Мура или Мили, то есть
выполняется для них различным образом.
          Будем полагать, что автомат начинает работу с состояния s0, в котором
он не вырабатывает никаких выходных сигналов и после выполнения
микропрограммы снова оказывается в этом же состоянии. Затем автомат
переходит в состояния, предписанные законом функционирования, и
формирует микрокоманды y, соответствующие текущим значениям сигналов x.
Момент окончания выполнения микропрограммы отмечается                 возвратом
автомата в начальное состояние s0.
          Поскольку в автомате Мура выходные сигналы связаны только с состоя-
нием автомата, то каждой операторной вершине нужно поставить в соответст-
вие одно из состояний автомата. Правило отметки состояний автомата на ГСА
микропрограммы будет выглядеть следующим образом:
          - символом s0 отмечаются начальная и конечная вершины ГСА;
          - каждая операторная вершина отмечается единственным символом s1,
s2, s3, s4, s5, ...;
          - две различные операторные вершины не могут быть отмечены
одинаковыми символами.
          На рисунке 6, а) представлена ГСА, отмеченная по приведенному выше
правилу. В каждом такте автомат Мура, интерпретирующий данную микропро-
грамму, переходит из одного состояния в другое и выдаѐт соответствующие
выходные управляющие сигналы yi. Порядок выдачи выходных сигналов yi оп-
ределяется значениями входных сигналов xi. Так, при наличии входного сиг-
нала х1 = 0 автомат из состояния s0 перейдет в состояние s1 и выдаст выходной
сигнал у1. В следующем такте работы под воздействием входного сигнала х2 =
1 автомат из состояния s1 перейдѐт в состояние s3 с выдачей выходных
сигналов у2 и у3.
          Если для интерпретации закодированной ГСА используется автомат
Мили, то отметка граф-схемы производится в следующем порядке:
          - символом s0 отмечается выход начальной и вход конечной вершины;
          - символами s1, s2, ... отмечаются входы вершин, следующие за
операторными вершинами;
          - входы двух различных вершин не могут быть отмечены одинаковыми
символами;
          - входы вершины могут отмечаться только одним символом состояния.
          Приведенные правила означают, что если вершина имеет несколько
входов, то символом состояния отмечается их подмножество, состоящее из
входов, следующих только за начальной или за операторными вершинами.
          Если один из входов конечной вершины соединен с выходом
операторной вершины, то между ними необходимо ввести пустую операторную


                                                                             11