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