2.5. Операторные схемы алгоритмов систем управления

Способы записи алгоритмов многообразны и, видимо, не исчерпываются существующими операторными схемами, наиболее применяемыми в дискретной технике. Известны также алгоритмы Маркова, Ван Хао, машины Тьюринга–Поста, которые используются в математической теории [1].

В программировании и в теории автоматов наиболее применимы оператор­ные схемы алгоритмов (ОСА) в форме граф-схем (ГСА), логических схем (ЛСА), регулярных схем (РСА), матричных (МСА) и таб­лич­ных схем (ТСА). Все виды ОСА эквивалентны, поэтому может быть осущест­влен взаимный переход (рис. 50) от одной формы к другой.

Замыкающие стрелки в графе рис. 50 отображают возможность эквивалент­ных преобразований самой формы ОСА без нарушения правильности алгоритма. Например, для ГСА рис. 51 формы а, б, в – эквивалентны. Однако переход от а) к в) допустим всегда, но от а) к б) – лишь в том случае, если по условиям работы опе­рационного устройства, которым управляет автомат, реализующий ГСА, воз­можно одновременное исполнение операторов А₁ и А₂.

Рис. 50

Рис. 51

Переход от ГСА к МСА осуществляется в следующей последо­вательности:

• составляется матрица с перечислением всех операторов действия А₁А₂…А_nА_к (где А_к – оператор окончания алгоритма – «end») в заголовке столбцов мат­рицы и операторов А₀А₁…А_n (где А₀ – оператор начала алгоритма) в перечис­лении строк;

• прямая связь А_i к А_j отображается 1 на пересечении соответствующей i-й строки с j-м столбцом;

• если связь осуществляется с проверкой логического условия, ставится α, соот­ветствующее значению «0» или «1», т.е. или α.

Однако часто при переходе от ГСА к МСА допускается ошибка, если не обо­значить новым номером А_n+1 повторяющийся оператор А_i с записью примечания, А_n+1 = А_i. Например, для ГСА рис. 52 а правильная запись МСА, приведенная в табл. 22, может быть осуществлена только по рис. 52 б, где А₇ = А₂.

Рис. 52

Переход от ГСА к ЛСА неоднозначен и поэтому не формализован.

Определим формализованную процедуру преобразования ОСА, обеспечи­вающую однозначное преобразование ГСА в ЛСА. Для этого первоначально пре­образуем ГСА в ТСА по следующей последовательности действий:

1. отметим на ГСА самый длинный путь от А₀ до А_к (для рис. 52 а этот путь со­ставляет последовательность операторов 1, 2, …, 10, отмеченную «двойными» линиями;

2. если на отмеченном пути встречается ветвь логического оператора α_i со значе­нием 1, то соответствующий оператор α_i заменяется оператором β_i, для которого β_i = ; тогда отмеченный путь будет проходить через операторы, без­условные переходы (стрелки) от А_i к A_j и через стрелки α_i со значением «0»;

3. каждому оператору А_i, следующему со значениями α_i или β_j, равными «1», при­пишем метку (буква с цифрой, например Q₁, Q₂, …,Q_r);

Таблица 22

	А1	А2	А3	А4	А5	А6	А7	Ак
А0	1
А1		1
А2
А3					1
А4					1
А5							1
А6								1
А7
А7 = А2

4. нумеруются также последовательности операторов (по правилу 1, 2, 3) на уча­стках ГСА, не покрытых самым длинным путем;

5. отмечаются также с помощью меток операторы, к которым подходят не­сколько стрелок.

По рис. 52 а осуществим переход к ТСА, т.е. запишем последователь­ность операторов отмеченного пути в столбик:

	1	А0
Q2	2	А1
	3	А2
	4	α1	→ Q1
	5	А3
Q3	6	А5
	7	А2
	8	β2	→ Q2
	9	А0
	10	А6
Q1	11	А4
	12		→ Q3

Здесь команда 12 обозначает безусловный переход на Q₃, а команды 4 и 8 – услов­ные переходы, например, команда 4 читается как «если α₁ = 1, то иди Q₁, иначе А₃».

Эти правила перехода от ГСА к ТСА рекомендованы для на­писания программ на алгоритмических языках низкого (ассемблер) и высокого уровня. Здесь же определим процедуру перехода от ТСА к ЛСА.

Как уже видно по ТСА, переход к ЛСА есть преобразование ТСА в строч­ную запись. Для этого произведем следующие действия:

• запись операторов (команд) осуществим в строчку (развернем ТСА на 90° про­тив часовой стрелки);

• стрелки перехода по условиям α_i и β_j также повернем вверх и припишем им номера (индексы) i, j;

• метки Q_k заменим стрелками, направленными вниз, с индексами тех логических операторов α_i, β_j, которые определяют переход к Q_k;

• для безусловных операторов (в примере команда 12) так же определяются стрелки (вверх по команде и вниз по метке), но присваивается следующий по порядку номер после α_i, β_j;

• после оператора A_k ставится точка с запятой (;), если отмеченный путь не покры­вает всего алгоритма;

• после последнего участка алгоритма ГСА ставится точка (.).

Для рис. 52 а по соответствующей ТСА получим ЛСА в виде:

A₀↓²A₁A₂α₁↑¹A₃↓³A₅A₂β₂↑²A₆A_k ; ↓A₄↑³.

Вернувшись к первоначальному обозначению , получим окончательно

A₀↓²A₁A₂α₁↑¹A₃↓³A₅A₂ ↑²A₆A_k ; ↓A₄↑³.

Заметим, что в предлагаемой записи ЛСА безусловный оператор как таковой отсутствует, т.е. просто стоит стрелка, направленная вверх ( ). При этом такая стрелка ставится и после условного оператора α. В первоначальной записи А. Ляпунова безусловный оператор отмечается специальной буквой (О), т.е. обозначается О( ). Можно вместо (О) использовать и другую букву или вообще не использовать буквенного обозначения.

Необходимость перехода от ГСА к ЛСА возникает в том случае, когда требу­ется ввести информацию о структуре ГСА в ЭВМ для последующего формаль­ного анализа алгоритма управления или перехода к процедуре формального и структурного синтеза автоматов. Запись в форме ЛСА удобна также при написа­нии научных статей и отчетов, т.к. позволяет избежать изображений в форме ГСА, т.е., по существу, рисунков и чертежей.

Представление ОСА в виде различных форм (рис. 50) и взаимные преобразо­вания имеют значение не только в задачах анализа и синтеза автоматов управле­ния, но и в других областях применения информационных технологий и ма­тема­тического обеспечения систем обработки информации.