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