Изложены сведения из математической логики и теории формальных языков, составляющие основу для построения лексических и синтаксических анализаторов. Приведены математические определения формального языка и формальной грамматики, описана классификация формальных грамматик Хомского. Рассмотрены способы построения распознающих конечных автоматов и автоматов с магазинной памятью, а также метод рекурсивного спуска и метод грамматического разбора, основанный на свойствах грамматик с операторным предшествованием. Для студентов второго курса, проходящих обучение на кафедре «Компьютерные системы и сети» по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.03 «Прикладная информатика», изучающих модуль 3 дисциплины «Машинно-зависимые языки и основы компиляции».