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

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