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