Automata and Formal Languages 2010/11

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

Exercises are voluntary and do not account for the final grades. Submitted exercises will be corrected and graded. 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. The first tutorial is on October 28. Exercise sheets are made available online Thursdays. Your solutions should be handed in at the beginning of the tutorial one week later.

Exercise Sheets 2010/2011:

Exercises with two stars form a necessary part of your preparation for the exam. One starred ones are recommended. Exercises with no star are useful for deeper understanding.

• Exercise 1 (**: 1,3)
• Exercise 2 (**: 1,2,4)
• Exercise 3 (**: 1,2,3,5)
• Exercise 4 (**: 1,2,5)
• Solution to 4.4
• Exercise 5 (**: 2)
• Exercise 6 (**: 1,2)
• Exercise 7 (**: 1)
• Exercise 8 (stars indicated in the sheet)
• Exercise 9 (stars indicated in the sheet)
• Exercise 10 (**: 1,2)
• Exercise 11 (**: 2)
• Exercise 12 (stars indicated in the sheet)
• Last year's exam and its solution

Exercise Sheets 2009/2010:

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4
  Slides for the bisim game exercise
• Exercise 5
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10
• Exercise 11
• Exercise 12

Exercise Sheets 2008/2009:

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4
• Exercise 5
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10
• Exercise 11
• Exercise 12
• Exercise 13