Дисциплина ''Теория автоматов и формальных языков'' входит в учебный план подготовки бакалавров по направлению 511900 - ''Информационные технологии''. Дисциплина ставит своей целью ознакомление учащихся с устройством теории формальных языков, а также с основными принципами, методами и алгоритмами синтаксического анализа формальных языков (в т.ч. языков программирования). В рамках этой дисциплины планируется дать учащимся систематические знания о способах описания формальных языков, моделях вычислений, используемых для представления формальных языков, о задаче синтаксического анализа и методах ее решения. Рабочая программа подготовлена на факультете Вычислительной математики и кибернетики МГУ