Дисертація присвячена науковій задачі алгебраічного подання формальних алгоритмічних систем при створенні апаратно-програмних засобів бортових приладових комплексів.
Розроблено модифіковану алгебру регулярних схем алгоритмів з комутативними умовами. Для зображення алгоритмічних структур використовуються алгоритмічні позиційні діаграми. Опрацьовано метод мінімізації алгоритмічних структур. Розроблено методи побудови поліноміальних моделей безповторних алгоритмічних структур та переліку типових варіантів. Розроблено метод синтезу узагальнених алгоритмічних перетворювачів. Запропоновані програмні та апаратні засоби реалізації узагальнених алгоритмічних перетворювачів.
Результати роботи дозволили удосконалити процес розробки алгоритмічного забезпечення при теоретичних та експериментальних дослідженнях.