Введение в теорию автоматов, языков и вычислений, 2-е издание

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

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

Об авторах:
Джон Хопкрофт — декан инженерного факультета Корнеллского университета, обладатель премии Л. Тьюринга (1986 г.).
Роджив Мотвани — доцент факультета компьютерных наук Станфордского университета.
Джеффри Ульман — профессор компьютерных наук Станфордского университета.