Introduktion till automatteori, språk och beräkningar
 Omslag till Askungens bok (1979 års upplaga)
| |
| Författare | John Hopcroft och Jeffrey Ullman |
|---|---|
| Land | USA |
| Språk | engelsk |
| Ämne | Datavetenskap |
| Utgivare | Addison-Wesley |
Publiceringsdatum |
1979 |
| Mediatyp | Skriva ut |
| ISBN | 0-201-02988-X |
| OCLC | 4549363 |
| 629,8/312 | |
| LC klass | QA267 .H56 |
Introduktion till automatteori, språk och beräkningar är en inflytelserik lärobok i datavetenskap av John Hopcroft och Jeffrey Ullman om formella språk och beräkningsteorin . Rajeev Motwani bidrog till senare upplagor som började 2000.
Smeknamn
The Jargon File registrerar bokens smeknamn, Cinderella Book , så här: "Så kallat eftersom omslaget visar en tjej (förmodat Askungen) som sitter framför en Rube Goldberg- enhet och håller ett rep som kommer ut ur den. På baksidan, enheten är i spillror efter att hon (oundvikligen) har dragit i repet."
Upplagshistorik och mottagning
Föregångaren till den här boken dök upp under titeln Formella språk och deras relation till automater 1968. Den utgjorde en grund både för att skapa kurser i ämnet och för vidare forskning och formade området för automatteori i över en decennium, jfr. (Hopcroft 1989).
- Hopcroft, John E.; Ullman, Jeffrey D. (1968). Formella språk och deras relation till automater . Addison-Wesley. ISBN 9780201029833 .
- Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduktion till automatteori, språk och beräkningar (1:a upplagan). Addison-Wesley. ISBN 0-201-02988-X .
- Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2000). Introduktion till automatteori, språk och beräkningar (2:a upplagan). Addison-Wesley. ISBN 81-7808-347-7 .
- Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2006). Introduktion till automatteori, språk och beräkningar (3:e upplagan). Addison-Wesley. ISBN 0-321-45536-3 .
- Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2013). Introduktion till automatteori, språk och beräkningar (3:e upplagan). Pearson. ISBN 978-1292039053 .
Den första upplagan av Introduction to Automata Theory, Languages and Computation publicerades 1979, den andra upplagan i november 2000 och den tredje upplagan kom ut i februari 2006. Sedan den andra upplagan har Rajeev Motwani anslutit sig till Hopcroft och Ullman som tredje författare . Från och med den andra upplagan innehåller boken utökad täckning av exempel där automatteori tillämpas, medan stora delar av mer avancerad teori togs bort. Även om detta gör den andra och tredje utgåvan mer tillgänglig för nybörjare, gör det den mindre lämpad för mer avancerade kurser. Den nya fördomen bort från teorin ses inte positivt av alla: Som Shallit citerar en professor, "de har tagit bort alla bra delar." (Shallit 2008).
Den första upplagan utgjorde i sin tur en större revidering av en tidigare lärobok också skriven av Hopcroft och Ullman, med titeln Formella språk och deras förhållande till automater . Den gavs ut 1968 och hänvisas till i inledningen av 1979 års upplaga. I en personlig historisk anteckning angående boken från 1968, säger Hopcroft: "Kanske kom framgången med boken från våra ansträngningar att presentera kärnan i varje bevis innan vi faktiskt gav beviset" (Hopcroft 1989). Jämfört med föregångarboken utökades 1979 års upplaga, och materialet omarbetades för att göra det mer tillgängligt för eleverna, jfr. (Hopcroft 1989). Denna inriktning mot förståelighet till priset av korthet sågs inte positivt av alla. Som Hopcroft rapporterar om feedback till den omarbetade utgåvan från 1979: "Det verkar som om våra försök att sänka nivån på vår presentation till förmån för studenterna genom att inkludera fler detaljer och förklaringar hade en negativ effekt på fakulteten, som sedan var tvungen att sålla igenom lagt till material för att beskriva och förbereda sina föreläsningar" (Hopcroft 1989).
Ändå är den mest citerade utgåvan av boken tydligen 1979 års upplaga: Enligt webbplatsen CiteSeerX citerar över 3000 vetenskapliga artiklar fritt tillgängliga online denna upplaga av boken.
Se även
- Introduktion till teorin om beräkning av Michael Sipser , en annan standardlärobok inom området
- Lösningar på utvalda övningar, Stanford University
externa länkar
- Post "Askepottbok". I: Jargongfilen (version 4.4.7, 29 december 2003).
- Hopcroft, John E. (1989). "Datavetenskapens framväxt - En klassisk kommentar om "formella språk och deras förhållande till automater" med citat . Aktuellt innehåll Ingenjörsvetenskap, teknik och yrkeskunder . 31 : 12. tillgänglig online (pdf)
- Shallit, Jeffrey O. (2008). En andra kurs i formella språk och automatteori . Cambridge University Press. sid. ix. ISBN 978-0-521-86572-2 .