АЛГОРИТМОВ СХЕМА
— формальное описание основной идеи построения некоторых совокупностей алгоритмов. В А. с. некоторые элементы описания (условные обозначения) можно рассматривать как переменные, изменяющиеся на множестве слов в алгоритмическом языке. Если подходящим образом заменить эти «переменные» объектами из областей их значений, то получим алгоритм, записанный в указанном языке. Таким образом, А. с. описывает множество алгоритмов, каждый из которых получается из данной А. с. при подходящем выборе заменяющих объектов, являющихся значениями элементов схемы. Примерами А. с. являются операторные схемы алгоритмов, алгоритмов граф-схемы, логические схемы алгоритмов. А. с. полезны при изучении свойств классов алгоритмов. Для практических задач реализации алгоритмов полезно осуществлять их равносильные преобразования. На каждом уровне абстракции описания алгоритмов могут быть построены системы равносильных преобразований, позволяющие решать конкретные задачи улучшения их качества в каком-либо смысле.
При определении А. - с. обычно исходят из некоторого набора основных символов, используя которые строят элементарные выражения, называемые термам и. А. с. определяются (формально) как выражения, построенные из термов и удовлетворяющие некоторым условиям. Вводится обычно процедура выполнения А. с., которая для каждой последовательности наборов значений логич. переменных однозначно определяет значение схемы. Вводятся также различные определения равносильности (или эквивалентности) А. с., которыми описывают отношения равносильности (соответственно эквивалентности) алгоритмов. А именно: если А. с. 
и 
равносильны, 
и 
— алгоритмы, описываемые этими схемами и полученные из них при подходящей замене термов операторами и метками (одинаковым образом для обеих схем), то 
равносильные алгоритмы. При рассмотрении логич. А. с., граф-схем алгоритмов и операторных схем явно выступает лишь логич. структура схемы. Порядок работы операторов рассматривается в зависимости от значений входящих в А. с. логич. условий.
Свойства алгоритма, определяемые природой операторов (в т. ч. операторов условного перехода), на этом уровне абстракции не могут быть изучены. При определении А. с. частично учитывают внутреннее содержание операторов и логич. условий. Следующий (более низкий) уровень абстракции при изучении алгоритмов предполагает, что структура операторов частично или полностью известна.
Лит. см. к ст. Операторная схема. В. Н. Поршнева.
