Automata and Formal Languages 2011/12

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.

Exercise sheets are made available online each Thursday. Your solutions should be handed in at the beginning of the tutorial one week later.

Exercise Sheets 2011/2012:

• Exercise 1, solution to Ex.1.3
• Exercise 2, solution to Ex.2.5
• Exercise 3, solution to Ex.3.5
• Exercise 4
• Exercise 5
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10
• Exercise 11
• Exercise 12
• Exercise 13: 12.2
• Exercise 14: Q&A session + some LTL

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