 |
|
 |
|
Automata and Formal Languages 2016/17
|
|
 |
|
 |
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.
Contact
Teaching
