Элементы алгебраической алгоритмики и объектно-ориентированный синтез параллельных программ

Abstract

Статья посвящена результатам, полученным в рамках интеграции алгебры алгоритмики и современных объектно-ориентированных средств. Рассмотрены средства построения семейств алгоритмических алгебр, ассоциированных с со-временными методами разработки программ. Приведен обзор результатов по абстрактно-автоматным моделям управле-ния. Предложен также подход к построению баз алгоритмических знаний, базирующийся на аппарате алгебры алгоритмики. Табл.: 2. Ил.: 3. Библиогр.: 30 назв.

Стаття присвячена результатам, отриманих в рамках інтеграції алгебри алгоритміки і сучасних об’єктно-орієнтованих засобів. Розглянуті засоби побудови сімейств алгоритмічних алгебр, асоційованих із сучасними методами розробки програм. Наведено огляд результатів з абстрактно-автоматних моделей керування. Запропоновано також підхід до побудови баз алгоритмічних знань, що грунтується на апараті алгебри алгоритміки. Табл.: 2. Іл.: 3. Библіогр.: 30 назв.

The paper is dedicated to the results got within the framework of integration of algorithmics algebra and contemporary object-oriented means. The means of algorithmic algebras constructing associated with present-day methods of program development are considered. The review of results on abstract-automaton models of control are given. The approach to constructing algorithmic knowledge bases grounded on algorithmics algebra apparatus is also suggested. Tabl.: 2. Figs.: 3. Refs.: 30 titles.