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

      В некоторых случаях целесообразно выделять логические условия.,
которые всегда принимает нулевое (ложное) значение, т.е. тождественно-
ложные логические условия. Принято обозначать такие условия через 
(оператор  ). После оператора  всегда производится переход по стрелке,
которая стоит справа от него.
      Приведем в качестве примера запись ЛСА, эквивалентную ГСА,
рассмотренной в п. 4.3.1. Учитывая основные конструкции языка ЛСА, эта
запись будет иметь вид:
A0 (y0 )A2 ( y1) 3 A2 (y2 ) 2 x1 1 x2 2 A3 ( y3 )ω31 x3 4 A4 (y1 y2 )ω5 4 A3 (y3 ) 5 Ak (yk )
                                                                                                   (4.60)
            4.4.2. Построение таблиц переходов и СКУ по ЛСА
       Методика построения таблицы переходов и СКУ по ЛСА в принципе
мало отличается от аналогичной методики для ГCA. Поэтому отметим только
уточнения по выполнению отдельных этапов приведенного выше алгоритма
[2].
       1) По пункту 1. В том случае, если в ЛСА имеются циклы из
логических условий, то в ЛСА вводится пустой оператор Ae ( ye ) ,
отмеченный пустым выходным сигналом. Этот оператор помещается в ЛСА
путем замены символа конца стрелки  i , помещенной вначале петли из
логических      условий,  на   следующую     группу   символов    ЛСА:
     k i         k
   Ae ( ye )  .      Например,      для       фрагмента       ЛСА:
A p  2 x1 1 x2  2 An ... 1 Am , получим следующую скорректированную ЛСА:
Ap   k  2 Ae ( ye )  k x1 1 x2  2 An ... 1 Am .
      2) По пункту З. Замечания относительно всех путей из логических
условий при переходе от одного оператора к другому и определения
выражения для частного входного сигнала X i , j . В конъюнкцию из
логических переменных, т.е. в сигнал X i , j , логическая переменная,
например, xm войдет с отрицанием или без отрицания в зависимости от
следующего:
      а) без отрицания, если xm  1 (логическое условие истинно), тогда
проверяется следующая по порядку записи логическая переменная
(логическое условие), например x , если она присутствует в строке;
       б) с отрицанием, если xm  0 (логическое условие ложно), тогда
проверяется по стрелке, стоящей справа от xm  e , следующая логическая
переменная (логическое условие), например x p , стоящая справа от конца
стрелки  e .
      П р и м е р 4.6. Найдем все пути из логических условий от оператора
A0 для фрагмента ЛСА:

                                                                                                          96