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

08.02.2017

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

27.01.2017

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

27.01.2017

No auxiliary materials are allowed at the exam.

28.10.2016

There is no class on 02.11.2016 due to the Fachschaftsvollversammlung.

25.10.2016

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.

19.10.2016

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

05.10.2016

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.

03.10.2016

Creation of the site.