Войти
 Обложка книги «Золушка» (Издание 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 научных статей, свободно доступных в Интернете, цитируют это издание книги (CiteSeerX, 2009).
