Einführung in die Theoretische Informatik

Sommersemester 2010

Folien:

pdf

Vorlesungsaufzeichnungen:

Die Vorlesung wird mit dem TeleTeachingTool aufgezeichnet. Hier geht es zu den Aufzeichnungen.

Inhalt:

• Formale Sprachen, Chomsky-Hierarchie
• Elementare Automatentheorie
• Entscheidbarkeit
• Grundlagen der Komplexitätstheorie

Literatur:

• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
  [Website zum Buch]
• Dexter Kozen. Automata and Computability
• Katrin Erk, Lutz Priese. Theoretische Informatik. Eine umfassende Einführung.
• Uwe Schöning. Theoretische Informatik kurzgefasst.