Automaten und formale Sprachen

Wintersemester 2006/2007

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

• Die Modulbeschreibung.
• Unterlagen zum Kurs "Theory of Computation, Fall 2002" am Massachusetts Institute of Technology. (MIT OpenCourseWare.)
• Unterlagen zum Kurs "Automata, Computability, and Complexity, Spring 2005" am Massachusetts Institute of Technology. (MIT OpenCourseWare.)
• Software Tools (grep, awk, flex, ...): Eine Möglichkeit die Tools (und vieles mehr!!) auf einem Windows-Rechner nutzen zu können, ist die Installation von Cygwin.
• Software Tools (grep, awk, flex, ...): Direkt unter Windows laufen die GNU utilities for Win32. 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. Arbeiten sollte man im Fenster, das mit zsh.exe (gehört zu UnxUpdates.zip) geöffnet wird. Im DOS-Fenster gibt es u.a. Probleme mit Hochkommas.
• 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.