1) Гса должна содержать одну начальную, одну конечную вершину и конечное множество операторных и условных вершин;

Для записи микропрограмм в компактной форме используются граф-схемы алгоритмов (ГСА), которые представляют собой ориентированный связанный граф и имеют пять типов вершин (рис. 2.2). Начальная вершина (рис. 2.2, а) не имеет входов, имеет только один выход и определяет начало микропрограммы. Конечная вершина (рис. 2.2, б) имеет один вход и определяет конец микропрограммы. Операторная вершина (рис. 2.2, б) имеет один выход и один вход; в нее вписывают МО, выполняемые в течение одного машинного такта. Условная вершина (рис. 2.2, г) имеет один вход и два выхода; с ее помощью отождествляется выполнение логического условия (1 или 0). Ждущая вершина (рис. 2.2, д) имеет один вход и два выхода; с ее помощью можно описывать ожидание в работе дискретных устройств.

При составлении ГСА операций необходимо руководствоваться следующими правилами: