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

Hoorcollege 1, woensdag 3 september 2025:
* Paragraaf 1.4, Hoofdstuk 2 t/m blz 53

Werkcollege 1, donderdag 4 september 2025:
* Opgaven 1.36, 1.32, 1.33(b), 1.37, 2.1(afgg2jk), 2.2(ad)

Hoorcollege 2, maandag 8 september 2025:
* Paragraaf 2.1 afgemaakt
* Paragraaf 2.2
* Paragraaf 2.4 t/m Voorbeeld 2.30

Werkcollege 2, donderdag 11 september 2025:
* Opgaven 2.10, 2.22(abdefh), 2.26
* Extra opgave: toepassen pomplemma op taal (ab)^i a^i

Hoorcollege 3, maandag 15 september 2025:
* Paragraaf 2.4 t/m eerste alinea van Voorbeeld 2.34
* Paragraaf 3.2

Werkcollege 3, donderdag 18 september 2025:
* Extra opgave uit tentamen Automata Theory van 21 december 2023
* Opgaven 2.27(adg), 3.21(ab), 3.24, 3.33

Hoorcollege 4, maandag 22 september 2025:
* Paragaaf 3.3, waarbij
  - inductieve bewijzen van Stelling 3.17 en Stelling 3.18 niet zijn
    behandeld; die zijn dan ook geen tentamenstof
  - we een andere constructie voor het verwijderen van Lambda-transities
    hebben behandeld dan de constructie in het bewijs van Stelling 3.17
    in het boek. Leer deze alternatieve constructie in plaats van
    de constructie in het boek 
  Leer uiteraard ook de constructie uit het bewijs van Stelling 3.18
* Paragraaf 3.1 t/m Voorbeeld 3.3

Werkcollege 4, donderdag 25 september 2025:
* Opgaven 3.32, 3.37(b)
* Extra opgave over omkeren constructie voor elimineren Lambda-transities
* Opgaven 3.40a, 3.7, 3.1(ab)
* Voorbeeld 3.4

Hoorcollege 5, maandag 29 september 2025:
* Paragraaf 3.1 afgemaakt
* Paragraaf 3.4
* Brzozowski & McCluskey (Opgave 3.54)
* Paragraaf 4.1 t/m Voorbeeld 4.1

Werkcollege 5, donderdag 2 oktober 2025:
* Opgaven 3.2, 3.10 (over reverse = mirror language), 3.41(e), 3.42,
  3.51(a, variant met Brzozoswki & McCluskey), 4.10(acefdd2), 4.1(bceg)

Hoorcollege 6, maandag 6 oktober 2025:
* Paragraaf 4.1 afgemaakt
* Paragraaf 4.2
* Paragraaf 4.3

Werkcollege 6, donderdag 9 oktober 2025:
* Opgaven 4.1(f), 4.12, 4.4, 4.9, 4.26(a), 4.27, 4.29
* Voorbeeld 4.10

Hoorcollege 7, maandag 13 oktober 2025:
* Paragraaf 4.4 t/m blz 146
* Niet behandeld, dus geen tentamenstof: bewijs van Stelling 4.17
* Paragraaf 5.1 t/m blz 165

Werkcollege 7, donderdag 16 oktober 2025:
* Opgaven 4.15/4.19, 4.34, 4.36(bcefg), 4.38(d)
* Extra opgave over (on)dubbelzinnige CFG voor AEqB

Hoorcollege 8, maandag 27 oktober 2025:
* Paragraaf 5.1 afgemaakt
* Paragraaf 5.2 t/m formulering Stelling 5.16
* Niet behandeld, dus geen tentamenstof: bewijs van Stelling 5.16

Werkcollege 8, donderdag 30 oktober 2025:
* Opgaven 5.2, 5.5, 5.10, 5.12, 5.18
* Extra opgave over DPDA voor { a^i b^j c^k | 2i>j }

Hoorcollege 9, maandag 3 november 2025:
* Paragraaf 5.3
* Niet behandeld, dus geen tentamenstof: bewijs van Stelling 5.18 en van
  Stelling 5.23