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:
- The courses' content may vary from semester to semester and differ from the lecture notes.
- 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.
- 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.