3

                                                         =

                                           ¹

4                  >    

10

5 >

11

6

7

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

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

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

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

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

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

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

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

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

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

Матричная схема алгоритма представляет собой квадратную матрицу,

строки которой соответствуют вершинам с выходами, столбцы – вершинам с входами. На пересечениях строк и столбцов записываются функции перехода. Такая функция представляет собой конъюнкцию кодов логических условий (логических переменных), переменная пишется без инверсии, если выход осуществляется по 1, в противном случае переменная пишется с инверсией. Функция перехода, равная 1, соответствует безусловному переходу.

Для указанного выше алгоритма МСА (МСА ННОД) представлена в табл.2

Таблица 1

Коды микроопераций, микрокоманд и условий