John E. Hopcroft, Jeffrey D. Ullman
Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
