У підручнику наведено основні результати вивчення теорії формальних мов, граматик і автоматів. Ця теорія описує деякі абстрактні машини, здатні виконувати певні операції над рядками символів. Операції спрямовані на породження текстів у штучних та природних мовах, а також на розпізнавання належності тексту до конкретної мови. Описані моделі належать до основних результатів теоретичної інформатики і є прикладом ефективного застосування математичних методів для формалізації знань із синтаксичного аналізу та трансляції мов програмування.