В учебном пособии рассмотрены распознаватели языков и порождающие грамматики. Изложены методы нисходящего и восходящего синтаксического анализа. Представлены методы проверки семантической коррекции программ. УМКД включает учебное пособие, программу дисциплины, вопросы для самоконтроля, методические указания, экзаменационные материалы. Предназначен для студентов специальности "Компьютерная безопасность"