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

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

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

              (23.7)

Анализ этого представления показывает, что имеется четыре оператора  Y1-Y4, начальній оператор Y0 и конечный Yk.

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

              (23.8)

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

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

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

                                                        (23.9)

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

                                                           (23.10)

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

                     (24.11)

где αij – функция перехода от оператора Yi к оператору Yt

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

,                                  (24.12)

где xpÎ{x1,…,xL}, Ym, YnÎ{Y1,…,YT+1}.

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

                     (24.13)