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

неизменной после выполнения события S ,i , являющегося непосредственно
предшествующим событию S i . Обозначим этот частный входной сигнал
символом X i ,i  .
      Второй этап анализа с целью упрощения записи S i производится,
если выражение (3.3) не является пустым, т. е. не равно . На этом этапе
необходимо отыскать общую часть частных входных сигналов для событий
всех ветвей, образующих событие S ,i , . Для этого может быть использована
следующая операция пересечения:
                 [ X 1,i]  [ X 2,i ]  ...  [ X j ,i ]  ...  [ X  ,i ]         (3.4)
где [ X j ,i ] - множество элементарных входных сигналов, входящих в сигнал
                 j
              X ,i , который в свою очередь входит в описание j-й ветви
              события S ,i . Необходимо при этом иметь ввиду, что, если
                j                         j
              X ,i = 1, то множество [ X ,i ] включает в себя все
              элементарные входные сигналы, как с отрицанием, так и без
              отрицаний (так как дизъюнкция всех 2L конституент единицы
              равна единице).
     Дальнейший анализ может идти в двух направлениях: первое
направление, когда число параллельных ветвей в событии S ,i не менее двух,
причем, не менее одного входного сигнала X j ,i 1; второе направление,
когда для всех ветвей в событии S ,i , все входные сигналы X j ,i = 1.
      Для первого направления анализа переменные, полученные в
результате выполнения операции (3.4) и объединенные знаком конъюнкции,
обозначим символом X 1,,2i,..., . Этот входной сигнал является общей частью
входных сигналов всех ветвей события S ,i .
      Если выражение (3.4) не является пустым, то в результате пересечения
и конъюнкции двух полученных выше входных сигналов найдем условия
упрощения записи исследуемого события

                [ X i  ,i ]  [ X 1,,2i ,...,] ;                           (3.5,а)

                X   ,i  & X , i
                    i                   1, 2 ,...,
                                                      ,                                 (3.5,б)
где оба множества в (3.5,а) включают в себя элементарные входные сигналы
как с отрицанием, так и без отрицания.
      Если выражение (3.5,а) равно , то запись события S i не упрощается,
в противном случае могут быть два варианта: если конъюнкция (3.5,б) равна
нулю, то входной сигнал X i = 0, а следовательно, и событие S i = 0; если
конъюнкция (3.5,б) представляет некоторое выражение, не равное нулю, то

                                                                                                56