Wprowadzenie do teorii automatów, języków i obliczeń -Introduction to Automata Theory, Languages, and Computation
Autor | John Hopcroft i Jeffrey Ullman |
---|---|
Kraj | USA |
Język | język angielski |
Temat | Informatyka |
Wydawca | Addison-Wesley |
Data publikacji |
1979 |
Typ mediów | Wydrukować |
Numer ISBN | 0-201-02988-X |
OCLC | 4549363 |
629.8/312 | |
Klasa LC | QA267 .H56 |
Wprowadzenie do teorii automatów, języków i obliczeń to wpływowypodręcznik informatyki autorstwa Johna Hopcrofta i Jeffreya Ullmana dotyczący języków formalnych i teorii obliczeń . Rajeev Motwani przyczynił się do wydania z 2000 roku, a później.
Przezwisko
Pliku Fachowe rejestruje imię książki, Cinderella Book , wygląda następująco: „bo tak nazywa okładka przedstawia dziewczynę (przypuszczalnie Cinderella) siedzi przed Rube Goldberg urządzenia i trzyma linę pochodzących z niego na tylnej okładce, urządzenie. jest w rozsypce po tym, jak (nieuchronnie) pociągnęła za linę."
Historia wydania i odbiór
Poprzednik tej książki ukazał się pod tytułem Formal Languages and Their Relation to Automata w 1968 roku. Stanowiąc podstawę zarówno do stworzenia kursów na ten temat, jak i dalszych badań, książka ta ukształtowała dziedzinę teorii automatów na ponad dekada, por. (Hopcroft 1989).
- Hopcroft, John E.; Ullman, Jeffrey D. (1968). Języki formalne i ich związek z automatami . Addisona-Wesleya.
- Hopcroft, John E.; Ullman, Jeffrey D. (1979). Wprowadzenie do teorii automatów, języków i obliczeń (1st ed.). Addisona-Wesleya. Numer ISBN 81-7808-347-7.
- Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2000). Wprowadzenie do teorii automatów, języków i obliczeń (2nd ed.). Addisona-Wesleya. Numer ISBN 81-7808-347-7.
- Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2006). Wprowadzenie do teorii automatów, języków i obliczeń (3rd ed.). Addisona-Wesleya. Numer ISBN 0-321-45536-3.
- Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2013). Wprowadzenie do teorii automatów, języków i obliczeń (3rd ed.). Osoba. Numer ISBN 978-1292039053.
Pierwsze wydanie Wprowadzenie do teorii automatów, języków i obliczeń zostało opublikowane w 1979 r., drugie wydanie w listopadzie 2000 r., a trzecie wydanie ukazało się w lutym 2006 r. Od drugiego wydania Rajeev Motwani dołączył do Hopcrofta i Ullmana jako trzeci autor . Począwszy od drugiego wydania, książka zawiera poszerzone omówienie przykładów zastosowania teorii automatów , podczas gdy część bardziej zaawansowanej teorii została usunięta. Chociaż sprawia to, że druga i trzecia edycja są bardziej dostępne dla początkujących, to sprawia, że są one mniej odpowiednie dla bardziej zaawansowanych kursów. Nowe odchylenie od teorii nie jest przez wszystkich postrzegane pozytywnie: jak Shallit cytuje pewnego profesora, „usunęli wszystkie dobre części”. (Shallit 2008).
Z kolei pierwsze wydanie stanowiło główną rewizję poprzedniego podręcznika, również napisanego przez Hopcrofta i Ullmana, zatytułowanego Języki formalne i ich relacja z automatami . Został opublikowany w 1968 roku i jest wymieniony we wstępie do wydania z 1979 roku. W osobistej notatce historycznej dotyczącej książki z 1968 r. Hopcroft stwierdza: „Być może sukces książki wziął się z naszych wysiłków, by przedstawić istotę każdego dowodu przed faktycznym przedstawieniem dowodu” (Hopcroft 1989). W porównaniu z poprzedniczką, wydanie z 1979 r. zostało rozszerzone, a materiał przerobiony, aby był bardziej dostępny dla studentów, zob. (Hopcroft 1989). To dążenie do zrozumiałości kosztem zwięzłości nie było przez wszystkich postrzegane pozytywnie. Jak donosi Hopcroft na temat opinii zwrotnych do zmodernizowanego wydania z 1979 r.: „Wydaje się, że nasze próby obniżenia poziomu naszej prezentacji z korzyścią dla studentów poprzez dodanie większej ilości szczegółów i wyjaśnień miały negatywny wpływ na wykładowców, którzy następnie musieli przesiać się przez dodał materiał do zarysowania i przygotowania swoich wykładów” (Hopcroft 1989).
Jednak najczęściej cytowanym wydaniem książki jest najwyraźniej wydanie z 1979 r.: Według strony internetowej CiteSeerX , ponad 3000 artykułów naukowych dostępnych bezpłatnie online cytuje to wydanie książki.
Zobacz też
- Wprowadzenie do teorii obliczeń przez Michaela Sipser , innym standardowym podręczniku w tej dziedzinie
- Lista ważnych publikacji z zakresu informatyki teoretycznej
Bibliografia
Linki zewnętrzne
- Wpis „Książka Kopciuszka”. W: Plik Jargon (wersja 4.4.7, 29 grudnia 2003).
- Hopcroft, John E. (1989). „Pojawienie się informatyki – klasyczny komentarz do 'Języków formalnych i ich relacji z automatami ' ” . Aktualne treści Inżynieria, technologia i nauki stosowane . 31 : 12. dostępne online (pdf)
- Shallit, Jeffrey O. (2008). Drugi kurs języków formalnych i teorii automatów . Wydawnictwo Uniwersytetu Cambridge. P. ix. Numer ISBN 978-0-521-86572-2.