There will be exercise sessions as well as “consultation time”, and you can also work on exercises on your own. In the exercise sessions solutions to selected exercises from the exercise sets below will be presented (possibly with some interaction). Consultation time is more flexible: the participants can decide together what to work on. This might involve solving certain exercises, revising a topic, or something else.
| Week | Exercise set | Description |
|---|---|---|
| 1 | E0 | Logic, sets, relations and functions (repetition). |
| 2 | E1 | Formal proofs, alphabets and words. |
| 3 | E2 | DFAs, NFAs and ε-NFAs. |
| 4 | E3 | Regular expressions. |
| 5 | E4 | Regular languages. |
| 6 | E5 | Context-free grammars. |
| 7 | E6 | Context-free languages. |
| 8 | E7 | Turing machines. |
The exercise sets might be modified during the course. Note also that the exercises were written for a previous instance of the course, and include a small number of references to lectures that may be inapplicable to this instance of the course.
Solutions are available to the starred exercises from the course text book. JFLAP can perhaps be of help for some exercises.
The Chalmers syllabus states that individual consultation time is also offered. Such consultation is primarily given in breaks (for instance, between the two halves of a lecture). If these breaks are not sufficient, then other methods can be considered.