Проаналізовано основні ідеї, що визначають метод створення алгоритму порівняння, за допомогою якого доведено розв'язуваність проблеми еквівалентності детермінованих магазинних автоматів. Наведено приклад роботи цього алгоритму, показано зв'язок між ним та іншими роботами даного напрямку. Крім того, встановлено розв'язність деяких проблем, пов'язаних з окремими класами формальних граматик.

• Мейтус Володимир Юлійович (фізико-математичні науки)

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