4) Для любой вершины гса существует, по крайней мере, один путь из этой вершины к конечной вершине, проходящей через операторные и условные вершины в направлении соединяющих их дуг;

5) в каждой операторной вершине записываются МО, составляющие МК y_i, где t==\,2,...,n, являющуюся подмножеством множества МО

у =={y₁, ••• .y_N}, y_ty;

6) в каждой условной вершине записывается один из элементов множества логических условий х = (x₁, x₂, ... , х_l);

7) начальной вершине ставится в соответствие оператор у₀ , а конечной—у_n+1 или y_k.

Рис. 2.3. Пример микропрограммы, записанной на языке ГСА

На рис. 2.3 показан пример микропрограммы, записанной на языке ГСА. Оператор Y ₁ содержит МО y₁, y_{6 ,} Y₂ —y₂, Y₃ — y₃y₄y₅y₇.

На сложность выполняемого устройства влияет количество операторных и ждущих вершин в ГСА. Для минимизации числа операторных вершин разработаны специальные методы.