Search academic texts

Information × Registration Number 0508U000395, Doctoral dissertation Status д.ф.-м.н. Date 20-06-2008 popup.evolution o Title Category methods in the theory of language converters Author Meytus Volodimir Yuliyovich, popup.opponent Летичевський Олександр Адольфович popup.opponent Дорошенко Анатолій Юхимович popup.opponent Глибовець Микола Миколайович Description Розроблена методологія використання теоретико-категорних форм для дослідження проблем теорії формальних мов і перетворення мовної інформації. Запропоновано декілька різних варіантів мовних перетворювачів, які використовують різні схеми пам'яті. Розроблений метод категоріальних систем, що дозволяє послідовно будувати перетворювачі з заданими ознаками та досліджувати їх особливості. Вирішена відкрита проблема розв'язуваності існування несинхронного скінченного перетворювача, який відображає одну регулярну мову на іншу. Вирішена в загальному вигляді проблема еквівалентності детермінованих магазинних автоматів. Розроблена методологія застосування мовних перетворювачів до проблем автоматизації проектування систем управління. Registration Date 2008-06-20 popup.nrat_date 2020-04-04 Close