У курсі вивчаються елементи теорії формальних мов (форми Бекуса-Наура, регулярні вирази, формальні граматики, зокрема, граматики Хомського) та теорії скінченних автоматів (розпізнавачі, недетерміновані скінченні автомати, алгоритми перетворення недетермінованого скінченного автомата в детермінований, алгоритми вилучення недосяжних станів, алгоритми мінімізації та інші), які використовуються при лексичному і синтаксичному аналізі.

Мета навчальної дисципліни: студенти повинні опанувати основні принципи побудови компіляторів, елементи теорії формальних мов (регулярні вирази, формальні граматики, зокрема, граматики Хомського, розпізнавачі) та теорію скінченних автоматів.