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