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

                 y0  S 0 x1  xn ;
                 y1  S 0 x1  S 1 x2  S 2 x1 x2 ;
                 y 2  S 0 x1  S1 x1 x2  S 2 x1  S 3 x2 x3  S 4 x4 ;                        (1.11)
                 y3  S1 x2  S 2 x1  S 3 x3  S 4 x4 ;
                 y 4  S1 x2  S 2  S 4  S 3  x2  x3  .

  1.4. Расширение выразительных возможностей языка
        НД СКУ и его отличительные особенности
      Следует отметить, что в ряде случаев исходный алгоритм
функционирования автомата целесообразно сразу записать в форме НД СКУ,
т. с. использовать СКУ как начальный язык. В этом случае НД СКУ,
представленную в простой канонической форме уравнениями вида (1.1),
целесообразно представить в более обобщенной форме с целью увеличения
«выразительных» возможностей языка СКУ. В частности, такую НД СКУ
можно представить в виде системы рекуррентных предикатных формул в
следующем виде:

    Y
  S j j (t  1)  V X i , j (t ) & Ri (t ) & S i (t )  V X j , j (t ) & R j (t ) & S j (t ),
                  i, j                                   j                                      (1.12)
  S 0 (0)  1, j  0, m,
             ~               ~                ~               ~
где Ri  S i ,1 & & S i , k , R j  S j ,1 & & S j , k ; знак «~» означает, что
переменные в Ri и Rj могут быть взяты с отрицанием или без него.
     Из структуры уравнений системы (1.12) следует, что расширение
выразительных возможностей для формального описания событий
достигается за счет описания более сложных условий зарождения и
сохранения событий S j , которые могут зависеть не только от значений
внешних частных входных сигналов X i, j , но и от значений совокупности
некоторых частных событий или внутренних переменных, непосредственно
предшествующих событию S j . К числу таких частных событий или
внутренних переменных, образующих комбинационные события Ri и R j ,
могут относится, например, такие, которые определяют условия готовности
исходных данных для их обработки в операционных блоках и их готовности
к приему результатов обработки исходных данных, а также переменные,
отражающие временной фактор, определяющий начало или конец
выполнения отдельных операций (микроопераций) и др.



                                                                                                         18