| Мейтус В.Ю. Категорні методи в теорії мовних перетворювачів : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / В.Ю. Мейтус ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2008. — 27 с. — укp.Розроблено, досліджено та використано нові методи в теорії мовних перетворювачів, які застосовуються під час вирішення проблем, пов'язаних з різними напрямками інформатики, а також теорії та практики моделювання систем. Розроблено методологію використання теоретико-категорних форм для дослідження проблем теорії формальних мов і перетворення мовної інформації. Ця методологія дозволяє здійснювати категорне подання синтаксису та семантики мов, побудову категорних автоматів, аналіз проблем обчислюваності категорій. Запропоновано декілька різних варіантів мовних перетворювачів, які використовують різні схеми пам'яті. Розроблено метод категоріальних систем, що дозволяє послідовно будувати перетворювачі з заданими ознаками та досліджувати їх особливості. Вирішено проблему розв'язуваності існування несинхронного скінченного перетворювача, який відображає одну регулярну мову на іншу. У загальному вигляді вирішено проблему еквівалентності детермінованих магазинних автоматів, що дозволило вирішити певні інші проблеми, які належать до різних напрямків теоретичної інформатики - теорії мов, схем програм, теорії формальних граматик. Розроблено методологію застосування мовних перетвоювачів до проблем автоматизації проектування систем управління, пов'язаних з задачами моделювання систем і формалізацією процесів автоматизованої обробки інформації. Завантажити
Індекс рубрикатора НБУВ: З973-018.210 + Шифр НБУВ: РА356973
Рубрики:
|