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