Рис. 2. СА ННОД чисел A и С
Условия корректности ГСА похожи на условия корректности схемы алгоритма [4]:
1) у ГСА должна быть одна начальная и одна конечная вершины;
2) каждый выход соединен только с одним входом операторных вершин;
3) каждый вход соединен, по крайней мере, с одним выходом;
4) выходы условных вершин помечаются с помощью цифр “0” и “1”;
5) из начальной вершины должен быть путь к любой вершине;
6) из любой вершины должен быть путь в конечную вершину;
7) для любых наборов логических условий должен быть путь из начальной вершины в конечную вершину.
Матричная схема алгоритма представляет собой квадратную матрицу,
строки которой соответствуют вершинам с выходами, столбцы – вершинам с входами. На пересечениях строк и столбцов записываются функции перехода. Такая функция представляет собой конъюнкцию кодов логических условий (логических переменных), переменная пишется без инверсии, если выход осуществляется по 1, в противном случае переменная пишется с инверсией. Функция перехода, равная 1, соответствует безусловному переходу.
Для указанного выше алгоритма МСА (МСА ННОД) представлена в табл.2
Таблица 1
Коды микроопераций, микрокоманд и условий
Таблица 2
3 
¹ 
4 > 
10 
5 > 
11 
7 
Y3
1 1 Y4 
Y5 
0 0 
