Behandelde stof bij de hoor- en werkcolleges
Formele Talen & Berekenbaarheid, najaar 2026
============================================

Hoorcollege 1, woensdag 2 september 2026:
* Intro
* Paragraaf 4.1
* Paragraaf 4.2 t/m Voorbeeld 4.8

Werkcollege 1, donderdag 3 september 2026:
* Opgaven 4.10(acefdd2), 4.1(bceg), 4.3, 4.1(f), 4.4

Hoorcollege 2, woensdag 9 september 2026:
* Extra voorbeelden: CFG voor {a^i b^j c^k | i=j+k}
  en voor {a^i b^j c^k | j=i+k}
* Paragraaf 4.2 afgemaakt
* Paragraaf 4.3
* Paragraaf 4.4 t/m Definitie 4.16

Werkcollege 2, donderdag 10 september 2026:
* Opgaven 4.12, 4.9, 4.26a, 4.27, 4.22, 4.29
* Extra opgave over noodzaak disjuncte verzamelingen V1 en V2
* Extra opgave over wel/niet reguliere talen

Hoorcollege 3, woensdag 16 september 2026:
* Paragraaf 4.4 t/m blz 146
* Opgave 4.45(b)
* Niet echt behandeld, dus geen tentamenstof: bewijs van Stelling 4.17

Werkcollege 3, donderdag 17 september 2026:
* Opgaven 4.15/4.19 (met inductie), 4.34, 4.36(bcefg), 4.38

Hoorcollege 4, woensdag 23 september 2026:
* Opgaven 4.51, 4.52
* Paragraaf 4.5
* Niet behandeld, dus geen tentamenstof: tweede helft van bewijs van
  Stelling 4.27, dat L(G1) is subset van L(G)-{Lambda}

Werkcollege 4, donderdag 24 september 2026:
* Extra opgave over (on)dubbelzinnige CFG voor AEqB
* Extra opgave uit tentamen Automata Theory van 19 december 2024
* Opgave 4.53
* Extra opgave uit tentamen Automata Theory van 19 december 2022