Aktuelles

• Die Veranstaltung ist zu Ende!
• Klausurergebnisse.
  Die Zuordnung von Noten zu den Prozentzahlen geschieht entsprechend der Prüfungsordnung:

  Note	1	1,3	1,7	2	2,3	2,7	3	3,3	3,7	4
  Prozentbereich	100-93	92-88	87-83	82-78	77-73	72-68	67-63	62-58	57-53	52-50

Übungsaufgaben

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

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.)
• Die GNU utilities for Win32 sind die GNU-Version der UNIX-Utilities.
  (Eine andere Quelle für die GNU-Utilities: Software-Kollektion 7, c't 23/2005 vom 31.10.2005.)
  Alle ausführbaren Dateien aus UnxUtils.zip und UnxUpdates.zip werden am besten in den Ordner C:\usr\local\wbin kopiert. Der Ordnerpfad sollte in die Umgebungsvariable Path aufgenommen werden.
  Benutzt man beim Arbeiten mit den Tools das DOS-Fenster, müssen teilweise Hochkommas durch Anführungszeichen ersetzt werden u.s.w. Besser ist das Arbeiten in dem Fenster, das mit zsh.exe (gehört zu UnxUpdates.zip) geöffnet wird, dann gibt es bei den Eingabeformaten keine Änderungen.
• Eine andere Möglichkeit die GNU-Utilities (und vieles mehr) auf einem Windows-Rechner nutzen zu können, ist die Installation von Cygwin.
• Auf dem Web-Server des GNU-Projekts gibt es Manuale zu den GNU-Utilities, speziell zu grep, gawk, flex und bison.

Literatur

• Michael Sipser.
  Introduction to the Theory of Computation.
  Thomson Course Technology (2nd Edition, International Edition).
  PWS Publishing Company (1st Edition).
  Website zum Buch.
• Ulrich Hedtstück.
  Einführung in die Theoretische Informatik: formale Sprachen und Automatentheorie.
  Oldenbourg Verlag.
• Uwe Schöning.
  Theoretische Informatik - kurzgefasst.
  Spektrum Akademischer Verlag.
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
  Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie.
  Pearson Studium.
  Website zum Buch.

• Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman.
  Compilerbau (Teil 1 und Teil 2).
  Oldenbourg Verlag.

• Uwe Schöning.
  Ideen der Informatik. Grundlegende Modelle und Konzepte.
  Oldenbourg Verlag.
• 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.