В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Приводятся основные факты теории с доказательствами. Пособие основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете Ленинградского–С.-Петербургского государственного университета и частично компенсирует недостаток учебной литературы в данной области. Для студентов математических факультетов университетов, изучающих синтаксические методы в информатике.