Пошук академічних текстів

Інформація × Реєстраційний номер 0508U000395, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 20-06-2008 Статус Запланована Назва роботи Категорні методи в теорії мовних перетворювачів Здобувач Мейтус Володимир Юлійович, Опонент Летичевський Олександр Адольфович Опонент Дорошенко Анатолій Юхимович Опонент Глибовець Микола Миколайович Опис Розроблена методологія використання теоретико-категорних форм для дослідження проблем теорії формальних мов і перетворення мовної інформації. Запропоновано декілька різних варіантів мовних перетворювачів, які використовують різні схеми пам'яті. Розроблений метод категоріальних систем, що дозволяє послідовно будувати перетворювачі з заданими ознаками та досліджувати їх особливості. Вирішена відкрита проблема розв'язуваності існування несинхронного скінченного перетворювача, який відображає одну регулярну мову на іншу. Вирішена в загальному вигляді проблема еквівалентності детермінованих магазинних автоматів. Розроблена методологія застосування мовних перетворювачів до проблем автоматизації проектування систем управління. Дата реєстрації 2008-06-20 Додано в НРАТ 2020-04-04 Закрити