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