Название курса: Формальные языки и грамматики.
Для кого: 09.04.01 Информатика и вычислительная техника
Образовательная программа: Медицинские интеллектуальные системы, Компьютерная лингвистика и искусственный интеллект.
Форма контроля: экзамен.

Целью освоения дисциплины «Формальные языки и грамматики» состоит в изучении теории формальных языков и грамматик, их практического применения для 
-описания языков (подъязыков) жестов,
-формального описания перевода с естественно-языкового на жестово-языковой, между двумя жестово-языковыми языками,
-распознавания/синтеза образов на основе формальных грамматик.

Для достижения поставленной цели при изучении дисциплины решаются следующие задачи:
-рассмотреть основные понятия теории формальных языков и грамматик;
-научиться выполнять классификацию языков и грамматик;
-познакомиться с подходами к построению распознавателей для языков различных классов;
-познакомиться с методами нисходящего и восходящего разбора;
-научиться применять методы теории формальных языков и грамматик при построении анализаторов языков программирования.