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