алгоритмічні мови, алгоритмические языки ; алгоритми, алгоритмы, algorithms, Algorithmen, algorithmes ; кінцево-автоматні мови, конечно-автоматные языки ; логічне програмування, логическое программирование, logical programming, programmation logique ; теорія мови, теория языка

Цель диссертационной работы - разработка основ теории языков, описывающих алгоритмы логического управления (алгоритмических конечно-автоматных языков - АКА-языков), и принципов эффективной реализации таких алгоритмов (в первую очередь - принципов их программной реализации) на основе исследования зависимости между объемом описания алгоритма в языке, качеством его реализации и расходом вычислительных ресурсов в процессе реализации.

• УДК // Системи автоматичного керування в цілому. Кібернетичні характеристики систем