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

Lecture 11, Monday, 18 November, 2024:
* Even/odd markings, chop markings
* Section 5.1
% Section 5.2, until (including) Example 5.13

Exercise class 11, Friday, 22 November, 2024:
* Exercises 5.2, 5.4, 5.5, 5.10, 5.12
* Extra exercise: (D)PDA voor {a^i b^j c^k | 2i>j}

Lecture 12, Monday, 25 November, 2024:
* Finished Section 5.2
* Not discussed, so no exam topic: special closure pre(L)
* Section 5.3
  - inductive proofs of Theorem 5.18 and Theorem 5.23 have not been discussed,
    so they are no topics for exam

Exercise class 12, Friday, 29 November, 2024:
* Exercises 5.18(abc), 5.16, 5.19, 5.34(a)
* Extra exercise: what is the language accepted by a given PDA

Lecture 13, Monday, 2 December, 2024:
* Section 5.4
  - the inductive proof of Theorem 5.29 has not been discussed,
    so it is no topic for exam
* Even if proofs have not been discussed (entirely), the constructions
  themselves and the intuitive ideas behind them ARE exam topics
* Section 6.1 until Example 6.3

Exercise class 13, Friday, 6 December, 2024:
* Exercises 5.28(b), 5.34(a), 5.32
* Exercises 5.30, 5.35 mentioned

Lecture 14, Monday, 9 December, 2024:
* Section 6.1 until the mid of page 211
* Section 6.2
  - the inductive proof of Theorem 6.13 has not been discussed,
    so it is no topic for exam; of course, the construction itself IS
    an exam topic

Extra exercise class, Monday, 9 December, 2024:
* Extra exercise: CFL for {a^i x y b^j}
* Extra exercise: {a^i b^j a^i b^j } is not CFL
* Extra exercise: Chomsky normal form with 1 variable
* Exercise 6.12

Exercise class 14, Friday, 13 December, 2024:
* Exercises 5.21, 6.4, 6.9(a)