Hopcroft Motwani Ullman - Automi Linguaggi e Calcolabilità