Lecture Notes

The course notes on this page can only be downloaded from within the RWTH Aachen University network or using VPN.

The lecture notes should only be used as a supplement, but not as an alternative to the courses for the following reasons:

  1. The courses' content may vary from semester to semester and differ from the lecture notes.
  2. In the lecture notes, the material is only presented concisely, and they lack many explanations given in the lecture in addition to anything written on the blackboard.
  3. The lecture notes are not flawless (yet).

Lectures

Applied Automata Theory
Last modified in November 2005
File format: PostScript (gzipped), PDF
Automata and Reactive Systems
Last modified on 20 March 2003
File format: PostScript (gzipped), PDF
Automata, Logics and Model Checking (in German)
Last modified in September 1998
File format: PostScript (gzipped)
Automata, Languages, Complexity (in German)
Last modified in November 2010
File format: PDF
Tree Automata and Applications (in German)
Last modified in October 2005
File format: PostScript (gzipped), PDF
Models and Constructs of Automata Theory (in German)
Last modified in July 1999
File format: PostScript (gzipped)
Recursion Theory (in German)
Last modified in April 2011
File format: PDF
Computability and Complexity (in German)
Last modified in July 1999
File format: PostScript (gzipped)

Miscellaneous

Latex Script (in German)
Last modified in May 2005
File format: PDF
Example files: Beispiel1.pdf, Beispiel2.pdf, Beispiel3.pdf.