Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Automata and Formal Languages 2015/16

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

23.09.2015

NULL

25.09.2015

Exceptionally Friday 16th October will be a lecture instead of an exercise class. First exercises: Friday 23rd October

09.10.2015

In line with the rest of the department, the lecture on Monday 12th October is cancelled to accommodate induction events. The first lecture will thus be on Wednesday 14th October.

13.10.2015

Exceptionally there will be two exercise classes next week. One replacing the lecture on Wednesday 21st October, and the other at the normal time of Friday 23rd October. The exercise sheets will be published soon. We look forward to seeing you at the first lecture tomorrow!

13.10.2015

The exercise sheets for Wednesday 21.10.15 and Friday 23.10.15 are now available: Exercise Sheet 1 and Exercise Sheet 2

15.10.2015

As decided yesterday, tomorrow's lecture (Friday 16.10.15) will exceptionanlly take place 0930--1100 instead of the originally planned time.

16.10.2015

As voted on Wednesday, the lecture times have been refined to: Mondays 12:00--13:30 and Wednesdays 12:15--13:45 (The exercise classes remain Fridays 11:00--12:30)

30.10.2015

Please note that, due to Prof. Esparza's other commitments, it is necessary next week for the exercise class to replace the Wednesday (4 Nov) lecture. The displaced lecture will in turn replace the Friday class.

16.11.2015

Two of the slides for fixed-length languages (slides 1 and 13) have been changed (they belonged to a slightly older version of the lecture notes). The new set of slides can be found in the same place as the old one.

01.01.2016

There is now some bonus material available about Presburger Arithmetic and the Safra Construction. Enjoy!

28.01.2016

The last week of the lecture period (01.02.16–05.02.16) will be exercise classes only. The Monday sheet is now available.

Also, for better exam preparations, the Friday class will be a Q/A session. Feel free to bring any questions with you!

17.02.2016

The `Einsicht' for the exam will take place 10:00 to 11:00am on Thrusday 18th February in our meeting room 03.11.058.