ЭУМК по учебной дисциплине «Теория формальных языков» представляет собой комплекс систематизированных учебных и методических материалов, а также дидактических средств обучения. Он предназначен для использования в образовательном процессе для магистрантов. ЭУМК разработан в соответствии с учебно-программной документацией образовательных программ высшего образования.

Цель учебной дисциплины - приобретение специальных знаний, умений и навыков, необходимых для ознакомления бакалавров  с основами дискретной математики, алгебры логики, теории формальных языков и грамматик, нотацией Бекуса-Наура и машинами Тьюринга, а также с регулярных выражений.

СТРУКТУРА ЭУМК

В учебно-методический комплекс дисциплины включены следующие материалы:
1. Пояснительная записка; 
2. Учебная программа дисциплины;
3. Лекционный материал;
4. Методические рекомендации;
5. Оценочные средства по дисциплине:
   - оценочные средства для текущего контроля знаний;
   - оценочные средства для промежуточной аттестации (комплект вопросов, выносимых на кандидатский дифференцированный зачет).
6. Информационно-справочный материал: список основной и дополнительной литературы, список ссылок на Интернет-ресурсы.