Разметка производится по графу микропрограммы. При разметке с каждой операторной вершиной графа отождествляется одно состояние автомата. Начальная и конечная вершины размечаются как начальное (нулевое) состояние автомата.
Для примера возьмем граф МП (см. рис.7.2) устройства алгебраического сложения/вычитания целых чисел со знаком в прямом коде. Разметка графа МП представлена на рис. 8.2., наименования состояний обозначены в скобках (а0, а1 и т.д.).
Рис.8.2. Разметка графа МП для автомата Мура
