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

                                                                          Продолжение таблицы 2.2
Шаг          Сочетание                Подмножества частных входных                    Сочетание
алго-   (конъюнкция) частных              сигналов на переходе                      (конъюнкция)
ритма    исходных событий в                          [ X i, j]                    частных событий
          момент времени (t)                                                      в момент времени
                                                                                        (t+1)

           Полное событие             Сочетание (конъюнкция) частных              Полное событие
              a m t Y m            входных сигналов на переходе                на переходе
                                         (полный входной сигнал)                      a s t  1
                                                  X a m , a s t 
  5      S 1 S 3 S 5  y1 y 3 y 4              [ x 2 , x 2 , x1 x 2 ] ,
                    a4                 [ x 3 , x2 x3 , ( x 2 x3)*],[ x 4 , x4]
                                                    x 2 x3 x 4
                                                  x1 x2 x3 x 4
                                                                                   S1 S 3 S 4 / a12
                                                 x1 x2 x 3 x 4
                                                                                   S 3 S 4 / a7
                                                 x1 x2 x3 x 4
                                                                                   S 2 S 3 S 4 / a3
                                                  x1 x2 x3 x 4
                                                                                   S 2 S 3 S 4 / a3
                                                 x 2 x3 x4
                                                                                   S 3 S 4 / a7
                                                  x1 x2 x3 x4                    S 1 S 3 / a6
                                                 x1 x 2 x 3 x 4                    S 3 / a5
                                                 x1 x2 x3 x4                       S 2 S 3 / a8
                                                  x1 x2 x3 x4                    S 2 S 3 S 4 / a3
                                                 x 2 x3 x 4                        S 3 S 4 / a7
                                                 x 2 x3 x 4                        S 1 ( S 4) / a 2
                                                                                   S1 S 3 ( S 4) / a12
  6            S 3  y3 y 4                                          *
                                            [ x 3 , x 2 x3 , ( x 2 x3 ) ]
                    a5                                  x3                            S 3 / a5
                                                     x 2 x3                           S 4 / a9
                                                     x 2 x3                         (S 4 ) / a9




                                                                                                         35