TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science


	Automata and Formal Languages 2013/14

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.

Exercise Sheets 2013/2014:

Exercises from previous courses

Past exams:

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 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