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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

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

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