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

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

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

                                                     x1 x2 x3 x4                S 2 S 3 S 4 / a3
                                                                                  S 3 S 4 / a7
                                                    x 2 x3 x 4
                                                                                  S1 ( S 4) / a2
                                                    x 2 x3 x 4
                                                                                  S1 S 3 ( S 4) / a12

      в) Отметим некоторые особенности, связанные с оформлением
табл.2.2. Для отдельных шагов алгоритма работы автомата (шаги алгоритма
3—5, 7, 9, 13) к частным выводимым входным сигналам была применена

                                                                                                        38