Способы представления алгоритмов функционирования управляющих автоматов, страница 7

     Используя правила перехода от одной формы к другой, можно представить алгоритм в однородной форме.

         Рассмотрим для примера алгоритм заданный двумя формулами перехода и секвенцией (23.7)

              (23.7)

Анализ этого представления показывает, что имеется четыре оператора  Y₁-Y₄, начальній оператор Y₀ и конечный Y_k.

Применяя МСА к системе 23.7 получим следующую систему формул перехода

              (23.8)

Если выписать систему секвенций для каждого столбца МСА получим систему секвенций

23.6 Приведение формул перехода к скобочной форме

Еще одним способом представления алгоритмов является система формул перехода (СФП). Тот факт, что после оператора У₁ могут выполняться операторы У₂, У₃ и У₆ при равенстве единице соответствующих функций перехода, можно записать в виде следующей формулы

                                                        (23.9)

Функция перехода от оператора Y_i к оператору У_j обозначены так

                                                           (23.10)

В общем случае формула перехода от оператора Y_i к оператору Y_t (t=1,..,Т+1) может быть записаны в виде формулы (24.11).

                     (24.11)

где α_ij – функция перехода от оператора Y_i к оператору Y_t

Приведение по переменной х_i выполняется до тех пор, пока во внутренних скобках не окажется выражение вида (24.12).

,                                  (24.12)

где x_pÎ{x₁,…,x_L}, Y_m, Y_nÎ{Y₁,…,Y_T+1}.

Формула (24.11) может быть представлена в виде (24.13)

                     (24.13)