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

      В том случае, когда при построении структуры распределенной
системы МПУ функции главного п/А возлагают на один из рабочих п/А, то
тогда строится ГСА и соответствующая ему СКУ для такого совмещенного
п/А. Если в качестве такого рабочего п/А принять 3-й п/А, то ГСА и СКУ
совмещенного п/А будут иметь вид:

              S 0 (t  1)  x0  S8  S 0 xn ,
              S 6 (t  1)  ( S 0 xn ) x2  S 0 x1  S 7 x1 x2 ,
              S 7 (t  1)  S 7 x4 x2  ( S 0 xn ) x2 ,
              S k3 (t  1)  S 6 x1  S 7 x4  S k3 S в ,
              S 8 (t  1)  S k3 S в ,
              S в (t  1)  S k1 S k2 S k3 (t )

                                                                 x0

                                                   S03

                                         0          xn
                                                         1
                                         1          x2       0
                          7                                  6
                                 y5                                   y6

                      0          x4                                   x1   0

                                   1                                   1


                                                  Sk3(yk3)


                                                    SB       0

                                             8           1
                                                    yk




                                                                               134