В пособии рассмотрены основы теории формальных языков и грамматик, составляющие теоретическую основу разработки трансляторов. Рассматриваются постановка задачи трансляции, грамматики Хомского, проблема синтаксического анализа, классификация грамматик Хомского. Более глубоко рассмотрены контекстно-свободные грамматики, различные методы спецификации КС-грамматик, отличные от грамматик Хомского методы задания языков.Большое внимание уделено вопросам семантических вычислений - постановке проблемы, идее синтаксически-ориентированной трансляции, атрибутным грамматикам Кнута. Методы синтаксического анализа рассматриваются последовательно, начиная с самых простых нисходящих методов (для автоматных грамматик, метод рекурсивного спуска), и кончая более сложными методами (LR, SLR, LALR). Рассматривается использование конечноавтоматных распознавателей для построения лексических анализаторов. Излагается применение метода рекурсивного спуска для построения компилятора с простого языка. Рассматриваются также общие методы синтаксического анализа - метод Эрли и метод Кока-Янгера-Касами.