Behandelde stof bij de hoor- en werkcolleges
Automata Theory, najaar 2021
============================================

Hoorcollege 1, dinsdag 7 september 2021:
* Paragraaf 1.4, Hfst 2 t/m Vb 2.7

Werkcollege 1, dinsdag 7 september 2021:
* Opgaven 1.36, 1.33(bc), 2.1(j)
* Kijk zelf ook naar andere onderdelen opgave 2.1 en naar opgave 2.2

Hoorcollege 2, dinsdag 14 september 2021:
* Paragraaf 2.1 afgemaakt
* Paragraaf 2.2
* Paragraaf 2.4 t/m Voorbeeld 2.30

Werkcollege 2, dinsdag 14 september 2021:
* Opgaven 2.10, 2.22(abh), 2.24, 2.26

Hoorcollege 3, dinsdag 21 september 2021:
* Paragraaf 2.4 afgemaakt
* Paragraaf 2.3 t/m Voorbeeld 2.22

Werkcollege 3, dinsdag 21 september 2021:
* Opgaven 2.27(adg), 2.13, 2.21 (ae),
* Genoemd: opgaven 2.17, 2.15

Hoorcollege 4, dinsdag 28 september 2021:
* Paragraaf 2.3 afgemaakt
* Paragraaf 2.5 (details van bewijs Stelling 2.36 niet behandeld,
  dus geen tentamenstof; de constructie zelf is wel tentamenstof)
* Paragraaf 2.6

Werkcollege 4, dinsdag 28 september 2021:
* Opgaven 2.33, 2.36, 2.37, 2.38(a), 2.55(ca)

Hoorcollege 5, dinsdag 5 oktober 2021:
* Paragraaf 3.2
* Paragraaf 3.3, waarbij
  - inductiebewijzen van Stelling 3.17 en Stelling 3.18 niet behandeld
    zijn, en ook geen tentamenstof zijn
  - iets andere constructie dan in het bewijs van Stelling 3.17 behandeld is,
    voor het elimineren van Lambda-transities. Leer deze, iets andere
    constructie in plaats van de constructie uit het boek
  - en leer ook wel de constructie uit Stelling 3.18

Werkcollege 5, dinsdag 5 oktober 2021:
* Opgaven 3.21, 3.22(def), 3.37(b), 3.40(a)

Hoorcollege 6, dinsdag 12 oktober 2021:
* Paragrafen 3.1, 3.4
* Paragraaf 3.5, waarbij we een iets andere notatie gebruiken dan in
  het boek:  L^k(i,j) en r^k(i,j)  ipv  L(i,j,k) en r(i,j,k)
* Brzozowski & McCluskey (opgave 3.54)
* Niet behandeld, dus geen tentamenstof: homomorfisme (opgave 3.53) 

Werkcollege 6, dinsdag 12 oktober 2021:
* Opgaven 3.7(cgjm), 3.1(ab), 3.10(ab) (over reverse=mirror language),
  3.41(e), 3.42,
* Genoemd: opgaven 3.2 en 3.51(a, maar dan met Brzozowski & McCluskey)

Hoorcollege 7, dinsdag 19 oktober 2021:
* Paragrafen 4.1 en 4.2

Werkcollege 7, dinsdag 19 oktober 2021:
* Opgaven 4.10(acefdd2), 4.12, 4.1(bf), 4.3(bc), 4.4
* Opgave 4.9 genoemd

Hoorcollege 8, dinsdag 2 november 2021:
* Paragraaf 4.3
* Paragraaf 4.4 t/m blz 146

Werkcollege 8, dinsdag 2 november 2021:
* Opgave 4.45(b) (met inductie)
* Extra opgave over AEqB
* Opgaven 4.26(a), 4.27, 4.22, 4.29(b), 4.36(bef)
* Opgaven 4.28 en 4.38 genoemd

Hoorcollege 9, dinsdag 9 november 2021:
* Paragraaf 4.5
* Opgaven 4.51, 4.52, 4.53

Werkcollege 9, dinsdag 9 november 2021:
* Opgaven 4.38, 4.53(c_ii), 4.50(a) ChNF, 4.54(a)

Hoorcollege 10, dinsdag 16 november 2021:
* N.a.v. Chomsky NF: even/odd markings, chop markings
* Paragraaf 5.1
* Paragraaf 5.2

Werkcollege 10, dinsdag 16 november 2021:
* Opgaven 5.4, 5.5, 5.6(a), 5.10, 5.12
* Extra opgave: (D)PDA voor {a^i b^j c^k | 2i>j}
* Opgaven 5.2, 5.18 genoemd

Hoorcollege 11, dinsdag 23 november 2021:
* Opgaven 5.20, 6.22
* Paragraaf 5.3 t/m blz 180
  Bewijs van `L(NT(G)) \subseteq L(G)' bij Stelling 5.18 niet behandeld
  en is ook geen tentamenstof 

Werkcollege 11, dinsdag 23 november 2021:
* Opgaven 5.18acd, 5.25, 5.28b

Hoorcollege 12, dinsdag 30 november 2021:
* Paragraaf 5.3 afgemaakt
  Bewijs van Stelling 5.23 niet behandeld en is ook geen tentamenstof.
* Paragraaf 5.4
  Bewijs van Stelling 5.29 niet behandeld en is ook geen tentamenstof 
* Ook als bewijzen niet (helemaal) behandeld zijn, behoren de constructies
  zelf en het intuitieve idee daarachter wel tot de tentamenstof.

Werkcollege 12, dinsdag 30 november 2021:
* Opgaven 5.34a, 5.21, 5.32
* Opgaven 5.16, 5.17, 5.19 genoemd

Hoorcollege 13, dinsdag 7 december 2021:
* Paragraaf 6.1 t/m Voorbeeld 6.6
* Paragraaf 6.2 t/m Voorbeeld 6.12

Werkcollege 13, dinsdag 7 december 2021:
* Opgaven 6.4, 6.2ab, 6.6, 6.9, 6.5

Hoor-/werkcollege 14, dinsdag 14 december 2021:
* Paragraaf 6.2 afgemaakt.
  De constructie van Stelling 6.13 behoort wel tot
  de tentamenstof, het inductiebewijs vervolgens niet.
* Paragraaf 6.3
* Opgaven 6.12, 6.13, 6.8