Аннотация.
Рассмотрены свойства данных, специфицируемых в композиционных схемах алгоритмов, в частности, свойства данных, образующих информационные связи между Д-операторами, входящими в композиционные схемы. Показана возможность преобразования как композиционных схем, описывающих фрагменты алгоритма, так и всего алгоритма путем перемещения Д-операторов в них.
Ключевые слова: алгоритмы, алгебра алгоритмов с данными, композиционные схемы алгоритмов, преобразование алгоритмов.
Акуловский Валерий Григорьевич, кандидат техн. наук, доцент Академии таможенной службы Украины, Киев,
e-mail: valeryakulovskiy@rambler.ru.
Дорошенко Анатолий Ефимович, доктор физ.-мат. наук, профессор, заведующий отделом Института программных систем НАН Украины, профессор Национального технического университета Украины «Киевский политехнический институт»,
e-mail: dor@isofts.kiev.ua.