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

  y1 y 2 y
a12k k 6 (t  1)  (a1  a3 ) x2 x4 x5  (a2  a4 ) x1 x5 
 (a 2  a9  a10  a19  a20 ) x2 x4  (a11  a12  a 23  a 24 ) x1 ,
  y y 2 y3
a13e k k (t  1)  a5 x3 x4 x5  a6 x1 x3 x5  (a13  a14 ) x3  (a17  a18 ) x3 x4
 (a 21  a 22 ) x1 x3 ,
  y y y3
a14e 4 k (t  1)  a5 x3 x4 x5  a6 x1 x3 x5 ,
  y y 2 y3
a151 k k (t  1)  a5 x3 x4 x5  a6 x1 x3 x5  (a13  a14 ) x3  (a17  a18 ) x3 x4
 (a 21  a 22 ) x1 x3 ,
  y y y3
a161 4 k (t  1)  (a5 x4  a6 x1 ) x3 x5 ,
  y y2 y
a17e k 5 (t  1)  a5 x2 x3 x4 x5  (a17  a18 ) x2 x3 x4 ,
  y y y
a18e 4 5 (t  1)  a5 x2 x3 x4 x5 ,
  y y2 y
a191 k 5 (t  1)  a5 x2 x3 x4 x5  (a17  a18 ) x2 x3 x4 ,
  y y y
a201 4 5 (t  1)  a5 x2 x3 x4 x5 ,
  y y2 y
a21e k 6 (t  1)  a5 x2 x3 x4 x5  a6 x1 x3 x5  (a17  a18 ) x2 x3 x4  (a21  a22 ) x1 x3 ,
  y y y
a22e 4 6 (t  1)  a5 x2 x3 x4 x5  a6 x1 x3 x5 ,
  y y1 y
a231 k 6 (t  1)  a5 x2 x3 x4 x5  a6 x1 x3 x5  (a17  a18 ) x2 x3 x4  (a21  a22 ) x1 x3 ,
  y y y
a241 4 6 (t  1)  a5 x2 x3 x4 x5  a6 x1 x3 x5 ,
  y
a 25k (t  1)  a8 .
         П р и м е р 4.9. Для управляющего автомата, заданного на языке ГСАП
(рис.4.6) построить недетерминированную ПТП и соответствующую ей
недетерминированную СКУ автомата Мура при условии, что в качестве
соединителя параллельных ветвей используется комбинированный
соединитель, для которого S B  S k1  S k2 S k3 .
      Для данного типа комбинированного соединителя НД ПТП с учетом
требований однозначности управляющего алгоритма будет представлена
табл.4.9, которая отличается от НД ПТП предыдущего примера только в
следующем: в строках с 2-ой по 8-ую все обозначения частных событий в
колонке 2 умножаются на S B ; условия сохранения для событий типа S ki
предусматриваются только для событий S k2 и S k3 ; событие S 1k не требуется
сохранять после его появления, т.к. для истинного S 1k одновременно будет
истинным и S B .
                                                                               Таблица 4.9.
  Шаг          Совокупность              Частный              Событие        Примечание

                                                                                           112