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