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

операция развертывания. Результат этой операции после удаления входных
сигналов, эквивалентных ранее полученным, отмечен заключением
элементарных входных сигналов в круглые скобки.
      В том случае, если детерминизация НД СКУ выполняется в
соответствии с примечанием п. 5 алгоритма детерминизации, то операция
развертывания к выводимым входным сигналам не применяется, и для таких
входных сигналов ставится в столбце 4 дополнительный знак ( ). Например,
для двух переходов третьего шага алгоритма работы автомата табл. 2.2 имела
бы вид


                a2              x 2x 4         S3S4( )/a7
                                x 2x 4          S3( )/a5

        Для некоторых переходов (шаги алгоритма 4—8, 10—12) сочетания
частных входных сигналов включают и запрещенный входной сигнал
        *
( x2 x3) , для которого событие перехода может быть определено
произвольно. В нашем случае в качестве события перехода для такого
сигнала принято событие S4. В общем случае вместо неопределенного
события перехода, обычно отмечаемого черточкой, принимается такое
событие, которое может привести к упрощению выражений СКУ и СВФ.
        г) По полученной прямой таблице переходов детерминированного
автомата Мура (табл. 2.2), пользуясь рассмотренным ранее алгоритмом
построения СКУ по прямой таблице переходов и учитывая указанные выше
замечания      по   оформлению     табл.   2.2,  получим    отмеченную
детерминированную СКУ, определяющую все переходы в автомате Мура,
заданного графом НДА (рис.1.1). После преобразования этой СКУ с целью ее
упрощения за счет минимизации булевых функций, представленных
дизъюнкцией частных входных сигналов при одних и тех же состояниях,
отмеченная СКУ полностью определенного детерминированного автомата
Мура примет следующий вид:




                                                                        39