Automata and Formal Languages 2015/16

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

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

Current Exercise Sheets

• Exercise Sheet 1 (Wed 21.10.15) [Sample Solution]
• Exercise Sheet 2 (Fri 23.10.15) Now equipped with solutions. Don't hesitate to let me know if you have any questions arising therefrom.
• Exercise Sheet 3. [Sample Solution] Also discussed in the class: Exercises 1.3, 1.4
• Exercise Sheet 4 (Wed 04.10.15). With solutions
• Exercise Sheet 5. [Sample Solution]
• Exercise Sheet 6 With solutions
• Exercise Sheet 7 [Sample Solution]
• Exercise Sheet 8 With solutions
• Exercise Sheet 9 [Sample Solution]
• Exercise Sheet 10 . With solutions
• Exercise Sheet 11 [Sample Solution]
• Exercise Sheet 12 . With solutions.
• Exercise Sheet 13 [Sample Solution]
• Exercise Sheet 14 . With solutions.
• Exercise Sheet 15 (Mon 01.02.16) [Sample Solution]
• Exercise Sheet 16 (Wed 03.02.16) . With solutions.

---

Past Exercise Sheets

Exercise Sheets 2012/2013:

• Exercise 1, solution to Ex.1.3
• Exercise 2, solution to Ex.2.6 and 7
• Exercise 3 (updated on Nov 6, two of the exercises originally posted here will be dealt with later)
• Exercise 4
• Exercise 5, transducer for Ex.5.3
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10
• Exercise 11
• Exercise 12
• Exercise 13: Q&A session + some LTL

Exercise Sheets 2011/2012:

• 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: 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)
• 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