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

От скобочной формулы перехода легко перейти к ГСА. Для этого необходимо для каждого выражения вида (24.12) изобразить подграф (рис.)

Рисунок 23. – Подграф, соответствующий выражению (23.12)

Подграф, соответствующий формулам перехода (23.14), показан на рис.

                         (23.14)

Рисунок 23.5 ГСА для формул (23.14)

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

Представление формулы перехода в виде

                                                                                   (24.5)

где х_i є{х₁,…, X_α }, а А и В-подформулы перехода независящие от х_i носит название приведенной формулы перехода по переменной x_i.

Если какие-то члены формулы перехода не зависит от х_i, то при появлении х_i необходимо их предварительно умножить на выражение (777777777).Таким образом любая формула перехода может быть разложена по любой входящей в нее переменной.

         Для примера рассмотрим формулу перехода

                                                                                   (24.6)

         Например, после приведения формулы (24.6) по переменной х_r получим

                                                                                      (24.7)

В выражении (24.5) можно продолжить приведение формул А и В по другим переменным до тех пор, пока во внутренних скобках не окажутся выражения вида

                                                                                                    (24.8)

где    х  є{х₁,…, X_α }; y_m, y_n є {y₁,…,y_n+1}.

         Полученная формула перехода называется скобочной формулой перехода, а система таких формул – системой скобочных формул перехода. Выражение вида (24.8) называется элементарным.

         Представления формулы (24.7) в скобочной форме такие: