На основе формализмов грамматических и алгоритмических структур разработан формализм грамматико-алгоритмических структур. Такие формальные структуры используют возможности структурного представления алгоритмов в виде последовательности образующих алгоритмов, связанных операциями композиции и условного выполнения. Средства грамматических структур позволяют выделить из всего множества алгоритмов, которые можно построить в рамках алгоритмической структуры, подмножество алгоритмов для решения одной или нескольких задач. Средствами грамматико-алгоритмических структур формализуется понятие метаалгоритма. Некоторые возможности грамматико-алгоритмических структур показаны на примере моделирования метаалгоритма сортировки
грамматическая, алгоритмическая, грамматико-алгоритмическая структура, алгоритм, абстрактный оператор, сортировка