Automi, linguaggi e calcolabilità by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman - WordSea