I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Automata and Formal Languages 2016/17

  News | Dates | Grading | Content | Exercises | Exam | Material


The new version of the last set of slides (verification of liveness properties) is now online.


The new slides on emptiness of Buechi automata are now online.


No auxiliary materials are allowed at the exam.


There is no class on 02.11.2016 due to the Fachschaftsvollversammlung.


The set of slides about Minimization has been replaced by a new version. This is the last major change in the slides for this year.


As decided today in class, lectures and exercises will now take place from 10:15 to 11:45.


In the first week of the course Javier Esparza is on a trip. There will be a lecture on Wednesday, October 19, and an exercise session on Friday, October 21, both given by Michael Blondin. The lecture on Thursday, October 18 is cancelled.


Creation of the site.