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

возможностью преобразований и формального перехода к таблицам перехода
и к аналитическому представлению алгоритмов в виде СКУ.
      Язык ГСА совместно с языком логических схем алгоритмов (ЛСА)
иногда называют одним общим названием язык операторных схем ал-
горитмов (ОСA).
      Язык ГСА - графический язык, поэтому символы, применяемые в нем,
имеют определеннее геометрическое начертание определяемое ГОСТом. В
языке ГСА применяются четыре основных символа для обозначения
начальной, конечной, операторных и логических (условных) вершин. Для
указания связи между прерванными линиями внутри одного листа или между
разными листами могут быть использованы два дополнительных символа.
Любой алгоритм должен начинаться и заканчиваться символами начальной и
конечной вершин. Начальная вершина A0 имеет только одну выходящую
линию, а конечная Ak - только входящие линии. Операторной вершине
сопоставляется вполне определенный оператор Ai , символизирующий
определенные действия. На первом этапе проектирования алгоритма
функционирования цифрового автомата используют содержательные ГСА,
когда внутри операторных вершин записывается, содержательное
обозначение управляющих действий. Например, для алгоритма выполнения
каких-либо операций в операционном устройстве ЭВМ внутри операторных
вершин ГСА управления выполнением таких операций записываются
микрооперации в виде оператора присваивания или совокупности таких
операторов. Внутри условных вершин в содержательный ГСА записывается
некоторое логическое выражение, принимающее значение I или 0, или
"Истина" или "Ложно".
      При кодировании содержательной ГСА внутри операторных вершин
записываются символы из множества выходных сигналов структурного
алфавита [Y], которые в МПА инициируют выполнение соответствующих
микроопераций в операционном автомате, а внутри условных вершин - из
множества входных сигналов структурного алфавита [X], которые для МПА
принято называть осведомительными сигналами.
      Операторная вершина имеет одну входящую и одну выходящую линии,
причем входящая линия может быть образована слиянием нескольких линий.
Условная вершина имеет одну входящую линию и две выходящих. Входящая
линия также может быть образована слиянием нескольких линий.
Выходящие линии помечаются цифрами I и 0 или словами "Да" и "Нет".
      Запись алгоритма функционирования цифрового автомата на языке
ГСА сводится к начертанию графических символов указанных типов и
соединению их в определенном порядке между собой с помощью линий. При
этом должны соблюдаться следующие условия:
      1) Входы и выходы вершин соединяются друг с другом с помощью
линий, направленных от выхода к входу.
      2) Каждый выход соединен точно с одним входом.

                                                                    89