Мейтус В. Ю. Категорні методи в теорії мовних перетворювачів

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