Sono passati ormai piu' di vent'anni dalla prima edizione di questo "classico" dell'argomento; in questa nuova, attesa edizione, gli autori continuano a presentare la materia nel loro tipico stile conciso e immediato, ma con una nuova attenzione alle applicazioni pratiche e agli aspetti matematici.
Il testo e' stato completamente riscritto per rendere il linguaggio meno formale e maggiormente accessibile agli studenti di oggi, e sono state aggiunte nuove figure, nuove sezioni sulla stesura delle dimostrazioni, box per evidenziare argomenti di particolare interesse, e numerosi esercizi che aiutano il lettore a consolidare ed espandere le informazioni acquisite.
Caratteristiche:
- Enfasi sulle piu' moderne applicazioni della teoria
- Numerose illustrazioni per rendere piu' immediato e intuitivo l'apprendimento
- Maggiori dettagli e intuizioni nelle definizioni e nelle dimostrazioni
- Box che evidenziano informazioni supplementari e di interesse specifico
- Numerosi esercizi, a livelli di difficolta' crescenti
- Notazione grafica per gli automi pushdown e le macchine di Turing
John E. Hopcroft e' docente al Dipartimento di Ingegneria della Cornell University; ha vinto nel 1986 il premio A.M. Turing.
Rajeev Motwani e Jeff Ullmann insegnano al Dipartimento di Informatica della Stanford University.
|
Universita' e ricerca