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

        y0  a0 x1  x n ;
        y1  a 0 x1  (a1  a 2  a 4  a6) x2  (a3  a8) x1 x2 ;
        y 2  a0 x1  a1 x1  a2 ( x1 x2  x4 )  a3 ( x1  x 4 ) 
         a 4 ( x1 x 2  x 2 x4  x2 x3)  a 6 ( x3  x1 x2)  a5 x3 
         a7 x4  a8 ( x1  x3)  a9 x4 ;                                  (2.5)
        y3  a1 ( x1  x2)  a2 ( x2  x4)  a3 ( x1  x3  x4) 
         a 4 ( x2  x3  x4)  a5 x3  a6 ( x2  x3 )  a7 ( x3  x4) 
         a8 ( x1  x3 )  a9 x4 ;
              k 9
        y4  V ak .
              k 1




                     Контрольные вопросы к главе 2.
     1. В чем состоит основной принцип, используемый для построения
алгоритма детерминизации НДА?
     2. Какие требования предъявляются к построению исходной ПТП
НДА, чтобы избежать недостижимых событий?
     3. Как можно проверить на каждом шаге алгоритма работы автомата
подмножества частных входных сигналов на однозначность и полноту?
     4. Что из себя представляют выводимые частные входные сигналы и с
какой целью некоторые из них при детерминизации подвергаются коррекции
путем использования операции развертывания?
      5. В каких случаях при детерминизации можно не выполнять операции
развертывания над выводимыми частными входными сигналами?
     6. Какой порядок определения полных входных сигналов при
детерминизации НДА на каждом шаге работы алгоритма управления? Каким
требованиям должны удовлетворять полные входные сигналы?
     7. В каких случаях при детерминизации НДА на некоторых шагах
работы алгоритма управления могут появиться пустые и неопределенные
события?




                                                                                   42