Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 92 стр.

входной сигнал войдет без отрицания, если выход из условной вершины
отмечен 1, и с отрицанием - 0.
      Для каждого исходного события S i (t ) (состояния автомата) для всех
путей, ведущих из него записать в третьем столбце выражения для частных
входных сигналов X i , j , а в четвертом столбце записать соответствующие им
обозначения событий S j (t  1) перехода (состояний автомата).
      Примечание.    Частные   входные   сигналы   X i , j , определяемые по ГСА,
соответствуют условиям так называемого универсального распределения сдвигов, когда
логические условия могут изменяться в любом такте работы автомата. Другие случаи
распределения сдвигов рассматриваются, например в [23-26].
        4) Отметив каждое событие (состояние автомата) соответствующими
выходными сигналами, получим прямую таблицу переходов автомата Мура,
которую необходимо проверить на удовлетворение условиям автоматности:
для каждого исходного события (состояния автомата) любое попарное
произведение частных входных сигналов для всех путей из каждого из
исходных событий должно равняться нулю, а логическая сумма всех частных
входных сигналов должна равняться единице.
        5) Построение СКУ осуществляется путем отыскания в прямой таблице
переходов всех путей, которые оканчиваются одинаковыми событиями
S j (t  1) и составляются для них конъюнкции из обозначений событий S i (t ) ,
стоящих вначале пути перехода, с соответствующими частными входными
сигналами X i , j , вызывающими этот переход. Полученные конъюнкции
X i , j (t ) & Si (t ) объединяют знаком дизъюнкции. Такую операцию выполняют
для всех событий S j (t  1) , которые отмечают соответствующими
выходными сигналами.
        П р и м е р 4.5. Построить прямую таблицу переходов и СКУ по ГСА,
представленной на рис. 4.3, для автомата Мура. Введя сквозную нумерацию операторных
вершин и следуя предложенному алгоритму, получим искомую прямую таблицу
переходов автомата Мура (табл. 4.5.).




                                                                                 92