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

x2 , которое (это четное количество сигналов x2 ) может чередоваться с
произвольным количество сигналов x1 , при условии, что для всех моментов
времени этого интервала другие сигналы, кроме быть может сигнала x4 , на
вход автомата не поступают.
       Все сигналы, кроме сигналов x0 и x7 , поданные на вход автомата
после поступления сигнала x6 на событие S1 не влияют.
      Одновременно с сигналами x5 и x6 на вход автомата может
поступать, не влияя на событие S1 , только сигнал x3 .
      Прежде чем производить формализацию этого словесного алгоритма
введем для сокращения записи следующие обозначения входных сигналов:
       e2,4 τ   x0 τ  & x1 τ  & x3 τ  & x5 τ  & x6 τ  & x7 τ ,
          e1,4 τ   x0 τ  & x 2 τ  & x3 τ  & x5 τ  & x6 τ  & x7 τ ,
          e3,5 τ   x0 τ  & x1 τ  & x2 τ  & x4 τ  & x6 τ  & x7 τ ,
          e3,6 τ   x0 τ  & x1 τ  & x2 τ  & x4 τ  & x5 τ  & x7 τ ,
          e4 τ   x0 τ  & x1 τ  & x2 τ  & x3 τ  & x5 τ  & x6 τ  & x7 τ .

      Для упрощения процесса формализации предикатных формул,
описывающих исходные события, воспользуемся временными схемами их
формирования (рис. 4.1).



 0                                                                            1                   t
                                                                                                        S0
                                                       x0  x7               e( 1 )

 0             1                   1                    1                       1           t

     S0      x5        x5 & e3,5 e4          x2 & e2, 4 e4 x2 & e2, 4                   e1, 4
                                                                                                         S11,0
 0                                 1                       1                      1           t

                                    S11,0     x2 & e2, 4 e4 x2 & e2, 4                      e1, 4
                                                                                                             S1


 0                                                        1                         1           t
                                                                                                        S12,0
                                                           S1      x1 & e3, 6 x0 & e7
            Рис. 4.1. Временные схемы формирования событий S 0 и S 1
                                                                                                                85