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