Согласованное описание алгоритмов в рамках алгебраического аппарата

Abstract

Продемонстрирована (в самом общем случае) возможность согласованного описания потоков управления, данных и информационных связей в процессе разработки алгоритмов средствами трехосновной алгебраической системы (алгебры алгоритмов с данными). Показаны свойства получаемых схем алгоритмов.The possibility of the concerted description of management streams is shown, data and informative connections in the process of algorithms’ development facilities of the tribasic algebraic system (algebras of algorithms with data) is shown (in most general case). The properties of the got charts of algorithms are rotined.