Розглянуто теоретичні аспекти автоматизованого проектування мов, формальних алгоритмів і програм, базовою моделлю яких є рекурсивні автомати з програмуючою логікою. Як інструментальні засоби проектування використовуються алгоритмічні алгебри. Особливу увагу приділено питанням проектування алгоритмів та програм у межах рекурсивних систем інтерпретованих алгоритмічних алгебр.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"