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

входящие в это выражение элементарные входные сигналы с отрицанием или
без отрицания заменяются единицей в записи входного X i сигнала события
  i
S .
           Для второго направления анализа необходимо найти пересечение
                                [ X i ]  [ ,i ]  [ , j ] ,                                  (3.6)
где  , j - распределение сдвигов для события                                       S , j   , являющегося для
                 события S j ,i непосредственно предшествующим.
      Для простоты дальнейшего анализа будем рассматривать событие S ,i ,
состоящим только из одной ветви. Переменные, полученные в результате
выполнения операции пересечения (3.6), объединим знаком конъюнкции и
обозначим символом X i  ,i ;  , j . В дальнейшем находим выражение
  1, 2,..., 
X , j, аналогичное выражению X 1,,2i,..., , но полученное, исходя из анализа
следующего пересечения:
                      [ X 1, j ]  [ X 2, j ]  ...  [ X p, j ]  ...  [ X , j ] ,          (3.7)
где [ X p, j ] - множество элементарных входных сигналов, входящих в сигнал
                   p
                 X , j , который в свою очередь входит в описание p-й ветви
                 события S  , j ;
            - число ветвей события S  , j .
       Если выражение (3.7) не является пустым, то аналогично выражениям
(3.5,а) и (3.5,б) определим пересечение и конъюнкцию
                       [ X i  ,i ;  , j ]  [ X 1,,2j,..., ] ,                            (3.8,а)

                        X   ,i ;  , j & X , j
                           i                           1, 2,..., 
                                                                     .                             (3.8,б)
      В дальнейшем, используя (3.8,а) и (3.8.б), поступают аналогично
рассмотренному выше. В том случае, если найдено, что событие S i равно
нулю, то необходимо произвести коррекцию СКУ, т. е. вычеркнуть строку,
описывающую это событие и приравнять нулю ветви тех событий, в которые
  i
S  входит в качестве непосредственно предшествующего события.
                                3.2.2. Пример минимизации СКУ

     Проиллюстрируем рассмотренную методику минимизации СКУ с
учетом заданного распределения сдвигов на примере СКУ, полученной по
МСА из [23].




                                                                                                             57