Automata and Formal Languages 2009/10

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

Exercises are voluntary and do not account for the final grades. Submitted exercises will be corrected and marked. It is highly recommended to work on the exercises, as this is the best preparation for the exam.

The central tutorial takes place on Thursdays from 16:00-17:30 in MI 03.09.014 02.13.010 and starts on the 29th of October.

Exercise Sheets 2009/2010:

• Exercise 1
  Solution
• Exercise 2
  Solution
• Exercise 3
  Solution
  Code for Ex3.2 (see the comments in the code for some instructions)
• Exercise 4
  Solution
  (Prof. Esparza will give a short explanation regarding Ex. 4.2 in the lecture.)
  Slides for the bisim game exercise
• Exercise 5
  Solution
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10
  Solution
• Exercise 11
• Exercise 12

Exercise Sheets 2008/2009:

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4
• Exercise 5
• Exercise 6
• Exercise 7
• Exercise 8 (Sample solution to Ex 8.1.)
• Exercise 9
• Exercise 10
• Exercise 11
• Exercise 12 (Solution)
• Exercise 13 (Solution)