Книга представляет собой учебный курс по началам математической лингвистики. Она сформирована в виде лекций, поэтому каждая глава содержит материал ровно в том объеме, который может быть прочитан на двухчасовой лекции. Основное внимание в изложении уделено теории формальных языков. Хотя основы теории формальных языков были изучены уже более сорока лет назад, в книге, наряду с традиционными, приведены некоторые новые подходы к определению формальных языков, например, основы такого математического формализма, как окрестностные грамматики мультиграфов синтаксических отношений. Большое внимание уделено подробному изучению формальных построений и разнообразию описаний формализмов определения формальных языков, в частности, таким известным, как простые категориальные грамматики Ламбека, и менее известным, таким, как формальные степенные ряды и системы уравнений над языками. Книга написана ясным языком и будет полезна и интересна как специалистам, так и широкому кругу читателей.