Úvod do teorie automatů, jazyků a výpočtu - Introduction to Automata Theory, Languages, and Computation - Wikipedia
 | Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace. (Prosinec 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
 Obálka knihy Popelky (vydání z roku 1979) | |
| Autor | John Hopcroft a Jeffrey Ullman |
|---|---|
| Země | USA |
| Jazyk | Angličtina |
| Předmět | Počítačová věda |
| Vydavatel | Addison-Wesley |
Datum publikace | 1979 |
| Typ média | Tisk |
| ISBN | 0-201-02988-X |
| OCLC | 4549363 |
| 629.8/312 | |
| LC třída | QA267 .H56 |
Úvod do teorie automatů, jazyků a výpočtu je vlivný počítačová věda učebnice od John Hopcroft a Jeffrey Ullman na formální jazyky a teorie výpočtu. Rajeev Motwani přispěl k vydání z roku 2000 a později.
Přezdívka
The Soubor žargonu zaznamenává tak přezdívku knihy: „Tak se jmenuje, protože obálka zobrazuje dívku (údajně Popelku), která sedí před zařízením Rube Goldberg a drží z něj lano. Zezadu je zařízení v troskách poté, co má ( nevyhnutelně) zatáhl za lano. “[1]
Historie vydání a příjem
Předchůdce této knihy se objevil pod názvem Formální jazyky a jejich vztah k automatům v roce 1968. Tvořila základnu jak pro tvorbu kurzů na dané téma, tak pro další výzkum, tato kniha formovala oblast teorie automatů více než deset let, srov. (Hopcroft 1989).
- Hopcroft, John E .; Ullman, Jeffrey D. (1968). Formální jazyky a jejich vztah k automatům. Addison-Wesley.
- Hopcroft, John E .; Ullman, Jeffrey D. (1979). Úvod do teorie automatů, jazyků a výpočtu (1. vyd.). Addison-Wesley. ISBN 81-7808-347-7.
- Hopcroft, John E .; Motwani, Rajeev; Ullman, Jeffrey D. (2000). Úvod do teorie automatů, jazyků a výpočtu (2. vyd.). Addison-Wesley. ISBN 81-7808-347-7.
- Hopcroft, John E .; Motwani, Rajeev; Ullman, Jeffrey D. (2006). Úvod do teorie automatů, jazyků a výpočtu (3. vyd.). Addison-Wesley. ISBN 0-321-45536-3.
- Hopcroft, John E .; Motwani, Rajeev; Ullman, Jeffrey D. (2013). Úvod do teorie automatů, jazyků a výpočtu (3. vyd.). Pearson. ISBN 978-1292039053.
První vydání Úvod do teorie automatů, jazyků a výpočtu vyšlo v roce 1979, druhé vydání v listopadu 2000 a třetí vydání vyšlo v únoru 2006. Od druhého vydání Rajeev Motwani se připojil k Hopcroftu a Ullmanovi jako třetí autor. Počínaje druhým vydáním obsahuje kniha rozšířené pokrytí příkladů, kde teorie automatů je aplikováno, zatímco velké části pokročilejší teorie byly odstraněny. Díky tomu je druhé a třetí vydání přístupnější pro začátečníky, ale je méně vhodné pro pokročilejší kurzy. Nové zkreslení od teorie není vnímáno pozitivně všemi: As Shallit cituje jednoho profesora, „odstranili všechny dobré části.“ (Shallit 2008).
První vydání zase představovalo zásadní revizi předchozí učebnice, kterou také napsali Hopcroft a Ullman s názvem Formální jazyky a jejich vztah k automatům. To bylo vydáno v roce 1968 a je na něj odkazováno v úvodu vydání z roku 1979. V osobní historické poznámce týkající se knihy z roku 1968 Hopcroft uvádí: „Možná, že úspěch knihy vycházel z naší snahy představit podstatu každého důkazu předtím, než tento důkaz skutečně podáte“ (Hopcroft 1989). Ve srovnání s knihou předchůdce bylo vydání z roku 1979 rozšířeno a materiál byl přepracován, aby byl přístupnější pro studenty, srov. (Hopcroft 1989). Toto směřování k srozumitelnosti za cenu stručnosti nebylo považováno za pozitivní. Jak Hopcroft informuje o zpětné vazbě na přepracované vydání z roku 1979: „Zdá se, že naše pokusy snížit úroveň naší prezentace ve prospěch studentů zahrnutím podrobnějších informací a vysvětlení měly nepříznivý dopad na fakultu, která poté musela projít přidali materiál k nastínení a přípravě svých přednášek “(Hopcroft 1989).
Nejcitovanějším vydáním knihy je nicméně zjevně vydání z roku 1979: Podle webových stránek CiteSeerX, více než 3000 vědeckých prací volně dostupných online cituje toto vydání knihy (CiteSeerX, 2009).
Viz také
- Úvod do teorie výpočtu podle Michael Sipser, další standardní učebnice v oboru
- Seznam důležitých publikací v teoretické informatice
Reference
- ^ "Kniha Popelky". Citováno 22. července 2020.
- „CiteSeerX nejcitovanější citace z informatiky“. Citováno 20. května 2009.
- Vstup "Popelka kniha". V: Soubor žargonu (verze 4.4.7, 29. prosince 2003).
- Hopcroft, John E. (1989). „Vznik počítačové vědy - citovaný klasický komentář k„ Formálním jazykům a jejich vztahu k automatům “'". Aktuální obsah Inženýrství, technologie a aplikované vědy. 31: 12. k dispozici online (pdf)
- Shallit, Jeffrey O. (2008). Druhý kurz formálních jazyků a teorie automatů. Cambridge University Press. str. ix. ISBN 978-0-521-86572-2.