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

                      a1 (t  1)  a0  x1 x2 a2 ,
                      a 2 (t  1)  a1  x1 x2 a 2 ,                     (4.58)
                      a3 (t  1)  x1a 2 ,
                      a 4 (t  1)  a3 .

                       y1 (t )  a0  x1 x3 a2 ,
                       y 2 (t )  a1  x1 x3 a2 ,
                       y3 (t )  ( x1 x2  x1 x3 )a2 ,                   (4.59)
                       ye (t )  x1 x2 a 2 ,
                       y k (t )  a3 .
            4.4. Логические схемы алгоритмов (ЛCA)
                   4.4.1. Общие сведения о языке ЛСА
     Язык ЛСА является аналитической интерпретацией языка ГСА и может
быть использован для более компактной формы записи алгоритма
функционирования автомата. ЛСА были впервые предложены в 1952-5З г.г.
А.А. Ляпуновым для целей программирования. В дальнейшем они стали
широко использоваться в качестве начального языка задания алгоритмов
функционирования управляющих устройств [24, 26, 45]. В ЛСА операторы
записываются в строчку слева направо. При этом последовательность
выполнения операторов будет определяться порядком их записи. Порядок
выполнения операторов может быть строго фиксированным или зависящим
от некоторых логических условий. В последнем случае применяют
логическую переменную xm i , со стоящей от нее началом стрелки  i с
индексом i  1,2,... Конец стрелки  i с этим же индексом стоит слева от того
члена ЛСА, который должен выполняться, если логическая переменная xm
принимает нулевое значение.
     Таким образом, логической схемой алгоритма называют конечную
строчку, составленную из символов операторов A0 , A1 ,..., Ak , логических
переменных (логических условий) x1 i , x2  j ,..., x L  r и концов стрелок
i ,  j ,...,  r , таких, что для каждого начала стрелки, например, с индексом i
найдется один и только один конец стрелки с тем же индексом.
     Пример. Строчка A1 xm i A2 ... i An означает, что после выполнения
оператора A1 в зависимости от значения логического условия xm может быть
выполнен оператор A2 , стоящий непосредственно справа от xm i , если
xm  1 , или - оператор An , стоящий непосредственно справа от конца стрелки
 i с тем же индексом, что и начало стрелки, если xm  0 .

                                                                                  95