Material treated at the lecture notes and exercise classes
Automata Theory, fall 2024
==========================================================

Lecture 1, Monday, 2 September, 2024:
* Section 1.4, Chapter 2 until Example 2.5

Exercise class 1, Friday, 6 September, 2024:
* Exercises 1.36, 1.32, 1.33(b), 1.37, 2.1(afgg2jk), 2.2(ad)

Lecture 2, Monday, 9 September, 2024:
* Finished Section 2.1
* Section 2.2
* Section 2.4 until Example 2.30

Exercise class 2, Friday, 13 September, 2024:
* Exercises 2.10, 2.22(abdefh), 2.24
* Extra exercise: apply pumping lemma on language (ab)^i a^i

Lecture 3, Monday, 16 September, 2024:
* Finished Section 2.4
* Section 2.3 until Example 2.22

Exercise class 3, Friday, 20 September, 2024:
* Exercises 2.26, 2.27(adg), 2.13, 2.17, 2.15, 2.21 (abdefh)

Lecture 4, Monday, 23 September, 2024:
* Finished Section 2.3
* Section 2.5 (details of proof Theorem 2.36 have not been discussed,
  so they are no topic for exam; the construction itself IS an exam topic)
* Exercise 2.36
* Section 2.6

Exercise class 4, Friday, 27 September, 2024:
* Exercises 2.13, 2.33, 2.37, 2.38(a), 2.40, 2.55(ac)

Lecture 5, Monday 30 September, 2024:
* Section 3.2
* Section 3.3, where
  - inductive proofs of Theorem 3.17 and Theorem 3.18 have not been discussed,
    so they are no topics for exam
  - we treated a slightly different construction than in the proof of
    Theorem 3.17, for eliminating Lambda-transitions. Learn this, slightly
    different construction, rather than the construction from the book.
  - and, of course, also learn the construction from Theorem 3.18

Lecture 6, Monday 7 October, 2024:
* Sections 3.1, 3.4
* Brzozowski & McCluskey (Exercise 3.54)

Exercise class 5-6, Friday, 11 October, 2024:
* A selection of the following:
  - Exercises 3.21, 3.24, 3.33, 3.22(def), 3.37(b)
  - Extra exercise about inverting construction for eliminating
    Lambda-transitions
  - Exercises 3.40(a), 3.32, 3.1(ab), 3.10 (about reverse = mirror language),
    3.41(e)

Lecture 7, Monday 14 October, 2024:
* Sections 4.1, 4.2

Exercise class 6-7, Friday, 18 October, 2024:
* Exercises 3.2, 3.42, 3.51 (a, variant with Brzozowski & McCluskey),
  4.10(acefdd2)
* Exercise 3.7 mentioned

Lecture 8, Monday 28 October, 2024:
* Some more examples from Sections 4.1, 4.2
* Section 4.3
* Intro Section 4.4

Exercise class 8, Friday, 1 November, 2024:
* Exercises 4.3, 4.4, 4.9, 4.26, 4.27, 4.28
* Exercises 4.1, 4.12, 4.22 mentioned

Lecture 9, Monday 4 November, 2024:
* Section 4.4 until (including) page 146
* Not really discussed, so no exam topic: proof of Theorem 4.17
* Exercise 4.45(b) (with induction)

Exercise class 9, Friday, 8 November, 2024:
* Exercises 4.15/4.19, 4.34, 4.36(bcefg),
* Exercises 4.7, 4.38 mentioned

Lecture 10, Monday 11 November, 2024:
* Section 4.5

Exercise class 10, Friday, 15 November, 2024:
* Exercises 4.49, 4.50(a), 4.51-4.53
* Question 6 from Exam 19 December, 2022