Введение в теорию автоматов, языки и вычисления -Introduction to Automata Theory, Languages, and Computation

Введение в теорию автоматов, языки и вычисления
Введение в теорию автоматов, языки и вычисления.jpg
Обложка книги Золушки (издание 1979 г.)
Автор Джон Хопкрофт и Джеффри Уллман
Страна Соединенные Штаты Америки
Язык английский
Предмет Информатика
Издатель Эддисон-Уэсли
Дата публикации
1979 г.
Тип СМИ Распечатать
ISBN 0-201-02988-X
OCLC 4549363
629,8 / 312
Класс LC QA267 .H56

Введение в теорию автоматов, языки и вычисления - влиятельныйучебник по информатике Джона Хопкрофта и Джеффри Уллмана по формальным языкам и теории вычислений . Раджив Мотвани участвовал в издании 2000 года и позже.

Ник

В « Жаргонном файле» записано прозвище книги « Книга Золушки» : «Названо так потому, что на обложке изображена девушка (предположительно Золушка), сидящая перед устройством Руба Голдберга и держащая в руках выходящую из него веревку. На задней обложке устройство находится в беспорядке после того, как (неизбежно) потянула за веревку ".

История изданий и прием

Предшественник этой книги появился под названием « Формальные языки и их связь с автоматами» в 1968 году. Создав основу как для создания курсов по этой теме, так и для дальнейших исследований, эта книга сформировала область теории автоматов более чем на долгое время. декада, ср. (Хопкрофт, 1989).

Формальные языки и их отношение к автоматам появились в 1968 году с оригинальной обложкой.

Первое издание « Введение в теорию автоматов, языки и вычисления» было опубликовано в 1979 году, второе издание - в ноябре 2000 года, а третье издание - в феврале 2006 года. После второго издания Раджив Мотвани присоединился к Хопкрофту и Ульману в качестве третьего автора. . Начиная со второго издания, в книге расширен охват примеров, в которых применяется теория автоматов , в то время как большая часть более продвинутой теории была исключена. Хотя это делает второй и третий выпуски более доступными для начинающих, это делает его менее подходящим для более продвинутых курсов. Новый уклон в сторону от теории не всеми воспринимается положительно: как Шаллит цитирует одного профессора, «они удалили все хорошее». (Шаллит 2008).

Первое издание, в свою очередь, представляло собой серьезную переработку предыдущего учебника, также написанного Хопкрофтом и Уллманом, под названием « Формальные языки и их связь с автоматами» . Он был опубликован в 1968 году и упоминается во введении к изданию 1979 года. В личной исторической заметке относительно книги 1968 года Хопкрофт заявляет: «Возможно, успех книги был достигнут благодаря нашим усилиям представить суть каждого доказательства, прежде чем фактически дать доказательство» (Hopcroft 1989). По сравнению с книгой-предшественником издание 1979 года было расширено, а материал переработан, чтобы сделать его более доступным для студентов, ср. (Хопкрофт, 1989). Это стремление к пониманию ценой лаконичности не всеми было воспринято положительно. Как Хопкрофт сообщает об отзывах на переработанное издание 1979 года: «Похоже, что наши попытки снизить уровень нашей презентации в интересах студентов, включив больше деталей и объяснений, отрицательно повлияли на преподавателей, которым затем пришлось просеивать добавил материал для набросков и подготовки своих лекций »(Hopcroft 1989).

Тем не менее, наиболее цитируемым изданием книги, по-видимому, является издание 1979 года: по данным веб-сайта CiteSeerX , более 3000 научных статей, находящихся в свободном доступе в Интернете, цитируют это издание книги.

Смотрите также

использованная литература

внешние ссылки