¹
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
Коды микроопераций, микрокоманд и условий
Коды |
Микрооперация, условие |
Коды |
Микро- операция, условие |
||
микро- операции, условия |
микро- команды |
микро- операции, условия |
микро- команды | ||
y1 y2 y3 |
Y1 Y2 Y3 |
НОД:=А А:=С С:=НОД |
y4 X1 X2 |
Y4 |
A:=A-C A=C A>C |
Таблица 2
МСА ННОД |
Y1 |
Y2 |
Y3 |
Y4 |
Y5 |
YK |
Y0, 4 |
__ __ Х1Х2 |
__ Х1Х2 |
Х1 | |||
Y1 |
1 | |||||
Y2 |
1 | |||||
Y3 |
1 | |||||
Y5 |
1 |
|
|
Y0
|
|
|
|
|
1 1
0 0
|
|
||||
|
|
Y2
|
|
Рис.3. ГСА ННОД Рис.4. Закодированная ГСА ННОД
Для МСА можно сформировать условия корректности:
1) в МСА не должно быть строки Yk;
2) в МСА не должно быть столбца Y0;
3) должны быть столбец Yk и строка Y0;
4) не должно быть пустых строк и столбцов;
5) на строке не должно быть одинаковых функций перехода;