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

                                                   Продолжение таблицы 4.8
Шаг     Сочетание частных           Сочетание          Сочетание
алго-   исходных событий        частных входных частных событий
рит-     полное событие            сигналов на           в момент
 ма         a m (t )(Ym )           переходе          времени (t+1)
                                   X (a m , a s )(t )     a s (t  1)
 6           S3 S 4 S7                x 4 x3 x 5       S 3 S k2 S k3 / a13
           a5 ( y e y 3 y 5 )         x 4 x3 x5        S S S3 /a
                                                             3 5 k         14
                                      x 4 x3 x5                  2 3
                                                           S1 S k S k / a15
                                      x 4 x3 x 5           S1 S 5 S k3 / a16
                                     x 4 x 2 x3 x 5        S 3 S k2 S 7 / a17
                                     x 4 x 2 x3 x 5        S 3 S 5 S 7 / a18
                                     x 4 x 2 x3 x 5        S1 S k2 S 7 / a19
                                     x 4 x 2 x3 x 5        S1 S 5 S 7 / a 20
                                     x 4 x 2 x3 x 5        S 3 S k2 S 6 / a 21
                                     x 4 x 2 x3 x 5        S 3 S 5 S 6 / a 22
                                     x 4 x 2 x3 x 5        S1 S k2 S 6 / a 23
                                     x 4 x 2 x3 x 5        S1 S 5 S 6 / a 24
 7           S3S4 S6                   x1 x3 x5            S 3 S k2 S 6 / a21
           a6 ( y e y 3 y 6 )          x1 x3 x5            S 3 S 5 S 6 / a 22
                                       x1 x3 x5            S1 S k2 S 6 / a23
                                       x1 x3 x5            S1 S 5 S 6 / a 24
                                       x1 x3 x5            S 3 S k2 S k3 / a13
                                       x1 x3 x5            S 3 S 5 S k3 / a14
                                       x1 x3 x5            S1 S k2 S k3 / a15
                                       x1 x3 x5             S1S 5 S k3 / a16
 8          S k1 S 5 S k3                 1                S k1 S k2 S k3 / a8
 9           S k1 S k2 S k3               1                    S 8 / a 25




                                                                                 108