Sehr empfehlenswert:

• J. Hopcroft, R. Motwani, J. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie., Pearson 2002 Dieses Buch bildet den Leittext für diese Veranstaltung.
• Folien der Vorlesung.
• M. Sipser: Introduction to the Theory of Computation. PWS 1997
• A. Asteroth, C. Baier: Theoretische Informatik. Pearson 2002
• Mitschriften von Kommilitonen früherer Semester liegen auf dem Server des Lehrgebiets "Didaktik der Informatik" bereit: Theorie I  Theorie II

Auch lesenswert:

• H. Ehrig: Mathematisch-strukturelle Grundlagen der Informatik. Springer Verlag 2001
• I. Wegener: Theoretische Informatik. Teubner Verlag 1993
• U. Schöning: Theoretische Informatik - kurzgefaßt. Spektrum-Verlag 1994
• K. Erk, L. Priese: Theoretische Informatik. Springer Verlag 2000
• H. Lewis, C. Papadimitriou: Elements of the Theory of Computation. Prentice-Hall 1998

Lesenswertes zur Arbeitsethik

• Code of Academic Integrity (Cornell University)
• Missverständnisse zum Urheberrecht

Programme

• Zum Lesen und Drucken der Folien und der Übungsblätter kann der kostenlose Adobe Acrobat Reader verwendet werden.