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

        Любая i-я ветвь события Sα может быть представлена в следующем
виде:
                                       i                   i
                                   S  (t  1)  X  (t ) & S ,i (t ),                 (3.1)
где X iα - частный входной сигнал в i-й ветви события Sα;
    S ,i    - сокращенное      обозначение      события,                           непосредственно
предшествующего событию Sα в i-й ветви.
      Событие S ,i , в общем случае также может содержать несколько
ветвей, каждая из которых может быть представлена в виде формулы,
аналогичной формуле (3.1), т. е. имеем:
                               
                      S ,i  V S ,i , S ,i t  1  X ,i t  & S , j t ,
                                  j       j               j

                               j 1

где τ - число ветвей в событии S ,i .
      Пусть распределение сдвигов для любою события S ,i будет задано в
виде следующего множества элементарных входных сигналов:
                            ,i  [ xt ,..., xl ,..., x p ,...] . (3.2)
     Это означает, что после выполнения события S ,i указанные в
множестве  ,i элементарные входные сигналы сохраняют свое значение в
следующем такте, т. е. в данном случае для удобства дальнейшего изложения
множество  ,i интерпретируется по иному, чем в [24, 25].
      Для анализа заданной СКУ с целью ее минимизации необходимо для
каждой ветви события S  , например, для S i определить ту составляющую
часть входного сигнала X i , значение которой остается неизменным после
выполнения события S ,i . Здесь следует иметь в виду, что если X i  1, то
дальнейший анализ с целью упрощения S i не производится.
     Первый этап анализа S i                          может быть выполнен с помощью
следующей операции пересечения:
                                      X i   ,i ,                               (3.3)
где   X 
         i
             — множество элементарных входных сигналов, входящих в
                 частный входной сигнал X i ;
       ,i   [~
             t  x ,..., ~
                   l    x ,..., ~
                        p       x ,...] — множество элементарных входных сигналов,
входящих в (3.2), но включающее также кроме переменных и их инверсии.
      Переменные, полученные в результате выполнения операции
пересечения (3.3), объединим знаком конъюнкции. В результате получим
часть входного сигнала X i , которая остается в соответствии с заданным  ,i


                                                                                                 55