Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Псевдоним [ править ]

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

История выпуска и прием [ править ]

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

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

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

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

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

См. Также [ править ]

  • Введение в теорию вычислений по Майкл Сипзер , другой стандартный учебник в области
  • Список важных публикаций по теоретической информатике

Ссылки [ править ]

  1. ^ "Книга Золушки" . Проверено 22 июля 2020 года .
  • «Самые цитируемые источники по компьютерным наукам на CiteSeerX» . Проверено 20 мая 2009 года .
  • Запись "Книга Золушки". В: Файл Jargon (версия 4.4.7, 29 декабря 2003 г.).
  • Хопкрофт, Джон Э. (1989). «Возникновение информатики - цитирующий классический комментарий на тему« Формальные языки и их отношение к автоматам » » . Текущее содержание Инженерия, технологии и прикладные науки . 31 : 12. доступно онлайн (pdf)
  • Шаллит, Джеффри О. (2008). Второй курс формальных языков и теории автоматов . Издательство Кембриджского университета. п. ix. ISBN 978-0-521-86572-2.

Внешние ссылки [ править ]

  • Домашняя страница книги