Рассмотрены вопросы формального описания иерархической структуры алгоритмов управления, исходя из их задания в виде графа абстрактного автомата Мили. Для решения указанной задачи использованы комплексы алгоритмов, представленные на основе регулярных выражений в системе алгоритмических алгебр. Получены рекуррентные соотношения, описывающие итеративные процедуры расширения и поглощения алгоритмов в линейном, дизъюнктивном и итерационном базисах.
