Aktuelles

• Die Veranstaltung ist zu Ende!
• Es wird eine Klausur vor den Semesterferien und eine nach den Semesterferien angeboten. Die Klausurtermine finden Sie hier. Bei den Klausuren sind keine Unterlagen zugelassen.

Übungsaufgaben

Blatt 1 | Blatt 2 | Blatt 3 | Blatt 4 | Blatt 5 | Blatt 6 | Blatt 7 | Blatt 8 | Blatt 9 | Blatt 10 | Blatt 11

Online-Material

• Unterlagen zum Kurs "Theory of Computation, Fall 2002" am Massachusetts Institute of Technology. (MIT OpenCourseWare.)
• Unterlagen zum Kurs "Automata, Computability, and Complexity, Spring 2002" am Massachusetts Institute of Technology. (MIT OpenCourseWare.)

Literatur

• Michael Sipser.
  Introduction to the Theory of Computation. PWS Publishing Company.
  Website zum Buch.
• Ulrich Hedtstück.
  Einführung in die Theoretische Informatik: formale Sprachen und Automatentheorie. Oldenbourg Verlag.
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
  Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Pearson Studium.
  Website zum Buch.
• Norbert Blum.
  Theoretische Informatik: eine anwendungsorientierte Einführung. Oldenbourg Verlag.
• Alexander Asteroth, Christel Baier.
  Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen. Pearson Studium.