условие (чаще всего отношение) записывается в закодированном виде.

Если оно выполняется, то результату присваивается единичное значение, в противном случае - нулевое значение. С учетом этого выходы вершины отмечаются указанными значениями вместо “да” и “нет”.

Содержательная и закодированная граф-схемы алгоритмов представлены на рис. 2 и 3 соответственно, коды микроопераций у _i , микрокоманд Y_i и условий XI - в табл.1.

1

2

8

A:=A-С

3

=

НОД:=А

9

¹

4 >

10

5 >

НОД:=А

11

6

A:=С

7

С:=НОД

Рис. 2. СА ННОД чисел A и С

Условия корректности ГСА похожи на условия корректности схемы алгоритма [4]:

1) у ГСА должна быть одна начальная и одна конечная вершины;

2) каждый выход соединен только с одним входом операторных вершин;

3) каждый вход соединен, по крайней мере, с одним выходом;

4) выходы условных вершин помечаются с помощью цифр “0” и “1”;

5) из начальной вершины должен быть путь к любой вершине;

6) из любой вершины должен быть путь в конечную вершину;

7) для любых наборов логических условий должен быть путь из начальной вершины в конечную вершину.

1.3.3.2. Матричные схемы алгоритма