Automata and Formal Languages 2016/17 | ||

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 14 (with solutions).
- Exercise sheet 13 (with solutions). Spot commands to manipulate LTL formulas can be found here.
- Exercise sheet 12 (with solutions).
- Exercise sheet 11 (with solutions). Solutions of #2 in the Hanoi Omega-Automata format: DBA #11.2a, NBA #11.2b. As seen in class, these automata can be minimized by Spot using these commands.
- Exercise sheet 10 (with solutions).
- Exercise sheet 9 (with solutions).
- Exercise sheet 8 (with solutions).
- Exercise sheet 7 (with solutions). Python implementation of the master automaton: fixedlength.py.
- Exercise sheet 6 (with solutions).
- Exercise sheet 5 (with solutions).
- Exercise sheet 4 (with solutions). Python implementations of the algorithms computing synchronizing words: synchronizing.py.
- Exercise sheet 3 (with solutions). NFA-ε to NFA converter: nfa-eps2nfa.py.
- Exercise sheet 2 (with solutions). JFLAP examples: DFA #2.1c.
- Exercise sheet 1 (with solutions). JFLAP examples: DFA #1.2, NFA #1.3a, NFA #1.3b.

#### Past exercise sheets

#### Exercice Sheets 2015/2016:

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

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