Skripte

Die Skripten auf dieser Seite sind nur von Rechnern innerhalb der RWTH Aachen oder mittels VPN auch von außerhalb zugänglich.

Aus folgenden Gründen sind die Skripten nicht als Vorlesungsersatz, sondern als Begleitmaterial zur Vorlesung anzusehen:

  1. In den einzelnen Semestern können die Vorlesungsinhalte von den Inhalten der Skripten abweichen.
  2. In den Skripten ist der Stoff nur sehr knapp dargestellt. Es fehlen viele Erläuterungen, die in der Vorlesung zusätzlich zum Tafelbild gegeben werden.
  3. Die Skripten sind (noch) nicht fehlerfrei.

Vorlesungen

Angewandte Automatentheorie (auf englisch)
Letzte Änderung im November 2005
Dateiformate: PostScript (gzipped), PDF
Automaten und reaktive Systeme (auf englisch)
Letzte Änderung am 20.03.2003
Dateiformate: PostScript (gzipped), PDF
Automaten, Logiken und Model-Checking
Letzte Änderung im September 1998
Dateiformat: PostScript (gzipped)
Automaten, Sprachen, Komplexität
Letzte Änderung im November 2010
Dateiformat: PDF
Baumautomaten und Anwendungen
Letzte Änderung im Oktober 2005
Dateiformate: PostScript (gzipped), PDF
Modelle und Konstruktionen der Automatentheorie
Letzte Änderung im Juli 1999
Dateiformat: PostScript (gzipped)
Rekursionstheorie
Letzte Änderung im April 2011
Dateiformat: PDF
Berechenbarkeit und Komplexität
Erstellt im Wintersemester 1998/99, letzte Änderung im Juli 1999
Dateiformat: PostScript (gzipped)

Sonstiges

Latex Skript
Letzte Änderung im Mai 2005
Dateiformat: PDF
Beispieldateien: Beispiel1.pdf, Beispiel2.pdf, Beispiel3.pdf.