Аннотация. УДК 519.681 На основе модифицированной модели ЭВМ Глушкова построена система алгоритмических алгебр. Данные формализованы и специфицированы на входе и выходе Д-операторов и, таким образом, построенный формальный аппарат базируется на данных. Доказаны некоторые свойства Д-операторов и операций, образующих сигнатуру алгебры, а также возможность построения производных Д-операторов. Библиогр.: 7 названий.

Ключевые слова: модель ЭВМ, алгебра алгоритмов, данные, алгоритмические конструкции, алгебраические алгоритмов, D-операторы.