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

     б) Ветвь S 32 (t  1)  x1 x2 S 0 . Для этой ветви имеем: [ X 32]  [ 0 ]   ,
поэтому дальнейший анализ не производится.
     4) Событие S4 состоит из двух ветвей:
                                S 4 t  1  x2 x4 S 2 .
                                 1
         а)       Ветвь                                           Для        этой          ветви         имеем:
[ X 14]  [ 2 ]  [ x2 , x4] ,    X 4  2   x2 x4 .
                                      1


        Для события S2 имеем X 12  1 . Поэтому рассматриваем событие S5,
являющееся непосредственно предшествующим событию S2.
        В        этом         случае      согласно          операции (3.6) получим
[ X 4]  [ 2 ]  [ 5 ]  [ x2 ] , X 4  2 ,  5   x2 .
    1                                 1

         Далее            для               всех         ветвей          события               S5        имеем:
[ X 15]  [ X 52]  [ X 35]  [ X 54]  [ x2],      1, 2 , 3, 4
                                                   X5        x2 .
      Откуда [ X 14  2 ,  5 ]  [ X 15,2,3, 4]  ,           X 4  2 ,  5  & X 5
                                                                     1                1, 2 ,3, 4
                                                                                                    0 , поэтому
  1              1
X 4  0 и ветвь S 4  0 .
                                  S 4 t  1  x1 x4 S 3 .
                                    2
         б)       Ветвь                                           Для        этой          ветви         имеем:
[ X 24]  [ 3 ]  [ x1 , x4] ,    X 4  3   x1 x4 .
                                      2

                                        1                                       1, 2
         Для       события           S3      в п. 1,б получено                X 3  x1 .                 Откуда
[ X 24  3 ]  [ X 13, 2]  , X 24  3  & X 13,2  0 , поэтому X 24  0 и S 24  0 .
         5) Событие S5 состоит из четырех ветвей:
     а) Ветвь S 15 t  1  x1 x 2 S 0 . Для этой ветви имеем [ X 15]  [ 0 ]   .
Поэтому запись этой ветви остается без изменения.
                                      S 5 t  1  x 2 x 4 S 2 .
                                        2
         б)        Ветвь                                              Для этой    ветви                  имеем:
[ X 52]  [ 2 ]  [ x2 , x4], X 52  2   x2 x4 .
         Для            события                 S2,         как        и  в     п.4,а                   находим
                                              X 5  2 ,  5   x2 .
     2                                          2
[ X 5 ]  [  2 ]  [  5 ]  [ x2 ] ,                                                                   Откуда
[ X 5  2 ,  5 ]  [ X 5 ]  , X 52  2 ,  5  & X 15, 2,3,4  x 2 ,
     2                     1, 2 ,3, 4
                                                                               поэтому                   запись
входного сигнала X 52 будет иметь вид X 52  x 4 .
     в) Ветвь S 35 t  1  x 2 x 4 S 4 . Для этой ветви ранее было найдено S4=0,
поэтому S 35  0 .
                               S 5 t  1  x1 x2 x3 S1 .
                                 4
         г)      Ветвь                                     Для этой  ветви    имеем:
[ X 54]  [1 ]  [ x1 ], X 54 1   x1 . Для события S1 в п.1,в было найдено, что
   1, 2 ,3
X 1  x1 .
     Откуда [ X 54 1 ]  [ X 11, 2,3]  , X 54 1  & X 11, 2,3  x1 , поэтому                       новая
запись входного сигнала для события S 54 будет иметь вид X 54  x 2 x 3 .


                                                                                                              59