Пособие подготовлено на основе многолетнего опыта преподавания учебных дисциплин по системам программирования.
Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями.
Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью как теоретической основе построения трансляторов для языков программирования.
Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования.
Приводится большое количество примеров и задач с решениями.

Для студентов вузов и преподавателей дисциплин, изучающих построение и функционирование систем программирования.