Введение в теорию автоматов, языки и вычисления -Introduction to Automata Theory, Languages, and Computation
Автор | Джон Хопкрофт и Джеффри Уллман |
---|---|
Страна | Соединенные Штаты Америки |
Язык | английский |
Предмет | Информатика |
Издатель | Эддисон-Уэсли |
Дата публикации |
1979 г. |
Тип СМИ | Распечатать |
ISBN | 0-201-02988-X |
OCLC | 4549363 |
629,8 / 312 | |
Класс LC | QA267 .H56 |
Введение в теорию автоматов, языки и вычисления - влиятельныйучебник по информатике Джона Хопкрофта и Джеффри Уллмана по формальным языкам и теории вычислений . Раджив Мотвани участвовал в издании 2000 года и позже.
Ник
В « Жаргонном файле» записано прозвище книги « Книга Золушки» : «Названо так потому, что на обложке изображена девушка (предположительно Золушка), сидящая перед устройством Руба Голдберга и держащая в руках выходящую из него веревку. На задней обложке устройство находится в беспорядке после того, как (неизбежно) потянула за веревку ".
История изданий и прием
Предшественник этой книги появился под названием « Формальные языки и их связь с автоматами» в 1968 году. Создав основу как для создания курсов по этой теме, так и для дальнейших исследований, эта книга сформировала область теории автоматов более чем на долгое время. декада, ср. (Хопкрофт, 1989).
- Хопкрофт, Джон Э .; Ульман, Джеффри Д. (1968). Формальные языки и их связь с автоматами . Эддисон-Уэсли.
- Хопкрофт, Джон Э .; Ульман, Джеффри Д. (1979). Введение в теорию автоматов, языки и вычисления (1-е изд.). Эддисон-Уэсли. ISBN 81-7808-347-7.
- Хопкрофт, Джон Э .; Мотвани, Раджив; Ульман, Джеффри Д. (2000). Введение в теорию автоматов, языки и вычисления (2-е изд.). Эддисон-Уэсли. ISBN 81-7808-347-7.
- Хопкрофт, Джон Э .; Мотвани, Раджив; Ульман, Джеффри Д. (2006). Введение в теорию автоматов, языки и вычисления (3-е изд.). Эддисон-Уэсли. ISBN 0-321-45536-3.
- Хопкрофт, Джон Э .; Мотвани, Раджив; Ульман, Джеффри Д. (2013). Введение в теорию автоматов, языки и вычисления (3-е изд.). Пирсон. ISBN 978-1292039053.
Первое издание « Введение в теорию автоматов, языки и вычисления» было опубликовано в 1979 году, второе издание - в ноябре 2000 года, а третье издание - в феврале 2006 года. После второго издания Раджив Мотвани присоединился к Хопкрофту и Ульману в качестве третьего автора. . Начиная со второго издания, в книге расширен охват примеров, в которых применяется теория автоматов , в то время как большая часть более продвинутой теории была исключена. Хотя это делает второй и третий выпуски более доступными для начинающих, это делает его менее подходящим для более продвинутых курсов. Новый уклон в сторону от теории не всеми воспринимается положительно: как Шаллит цитирует одного профессора, «они удалили все хорошее». (Шаллит 2008).
Первое издание, в свою очередь, представляло собой серьезную переработку предыдущего учебника, также написанного Хопкрофтом и Уллманом, под названием « Формальные языки и их связь с автоматами» . Он был опубликован в 1968 году и упоминается во введении к изданию 1979 года. В личной исторической заметке относительно книги 1968 года Хопкрофт заявляет: «Возможно, успех книги был достигнут благодаря нашим усилиям представить суть каждого доказательства, прежде чем фактически дать доказательство» (Hopcroft 1989). По сравнению с книгой-предшественником издание 1979 года было расширено, а материал переработан, чтобы сделать его более доступным для студентов, ср. (Хопкрофт, 1989). Это стремление к пониманию ценой лаконичности не всеми было воспринято положительно. Как Хопкрофт сообщает об отзывах на переработанное издание 1979 года: «Похоже, что наши попытки снизить уровень нашей презентации в интересах студентов, включив больше деталей и объяснений, отрицательно повлияли на преподавателей, которым затем пришлось просеивать добавил материал для набросков и подготовки своих лекций »(Hopcroft 1989).
Тем не менее, наиболее цитируемым изданием книги, по-видимому, является издание 1979 года: по данным веб-сайта CiteSeerX , более 3000 научных статей, находящихся в свободном доступе в Интернете, цитируют это издание книги.
Смотрите также
- Введение в теорию вычислений по Майкл Сипзер , другой стандартный учебник в области
- Список важных публикаций по теоретической информатике
использованная литература
внешние ссылки
- Запись "Книга Золушки". В: Файл жаргона (версия 4.4.7, 29 декабря 2003 г.).
- Хопкрофт, Джон Э. (1989). «Возникновение информатики - цитирующий классический комментарий на тему« Формальные языки и их отношение к автоматам » » . Текущее содержание Инженерия, технологии и прикладные науки . 31 : 12. доступно онлайн (pdf)
- Шаллит, Джеффри О. (2008). Второй курс формальных языков и теории автоматов . Издательство Кембриджского университета. п. ix. ISBN 978-0-521-86572-2.