J. Hopcroft, R. Motwani, and J. Ullman (2002)
Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
Pearson.
Dieses Buch bildet den Leittext für diese Veranstaltung. Manche Themen werden alledings etwas zu vereinfacht dargestellt. Es gibt eine ätere Version des Buches im Oldenbourg Verlag, in dem die Themen deutlich knapper, aus unserer Sicht aber auch klarer abgehandelt werden. Dafür fehlen einige modernere Ergebnisse.
