Лингвистическое обеспечение САПР

Основными объектами изучения научного направления "Лингвистическое и программное обеспечение САПР" являются управление задачами и памятью в операционных системах, проблемы разработки языка высокого уровня, языки для реализации интерфейса и написания программ, вопросы трансляции программ, написанных на различных языках. Методы построения подобных программ в различных предметных областях основаны на моделях конечных автоматов и теории формальных грамматик. Широкое использование таких моделей в теоретических исследованиях и разработке систем, используемых на практике, позволяет рассматривать их как одну из основ образования по направлению "Лингвистическое и программное обеспечение САПР". Главным назначением дисциплины "Лингвистическое обеспечение САПР" является ознакомление студентов, обучающихся по данному направлению с основами теории формальных грамматик и языков, методами и приемами практического использования аппарата формальных грамматик и конечных автоматов.