Die Foliensätze zur Vorlesung und die Angabenblätter zum Proseminar werden regelmäßig hinzugefügt
J. E. Hopcroft, R. Motwani, J. D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson Studium, 3. Auflage, 2011