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