автоматизовані системи, автоматизированные системы, automation system ; алгебра, algebra, algebre ; алгоритми, алгоритмы, algorithms, Algorithmen, algorithmes ; перетворювачі, преобразователи, Wandler ; синтез, синтез ; схеми, схемы, circuits

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

• УДК // Теорія керуючих систем: математичні аспекти
• УДК // Штучні мови для спілкування з машинами. Мови програмування. Комп'ютерні мови