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

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

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

                                               x1 x 2 x3 x 4                  S 3 S 5 / a11
                                                                              S 3 S 4 / a7
                                               x1 x2 x3 x4
                                                                              S 3 S 4 / a7
                                               x1 x 2 x3 x 4
                                                                              ( S 4) / a9
                                               x1 x 2 x3 x 4
                                                                              S 3 ( S 4) S 5 / a10
                                               x1 x 2 x3 x 4
                                                                              S 3 ( S 4) / a7
                                               x1 x 2 x3 x4
                                                                              S 3 ( S 4) S 5 / a10




                                                                                                     34