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

Werkcollege 9, donderdag 6 november 2025:
* Extra opgave: wat is de taal geaccepteerd door een gegeven PDA
* Opgaven 5.16, 5.19, 5.28(b), 5.34(a), 5.30

Hoorcollege 10, maandag 10 november 2025:
* Paragraaf 6.1 t/m Voorbeeld 6.6
* Niet behandeld, dus geen tentamenstof: bewijs van Stelling 6.1
* Opgave 6.3
* Paragraaf 6.2 t/m Voorbeeld 6.12
* Paragraaf 6.3 behalve beslissingsproblemen 2. en 3.

Werkcollege 10, donderdag 13 november 2025:
* Opgaven 6.4, 6.2(abe), 6.5(acdg), 6.6
* Extra opgave over CFG voor { a^i x y b^j | |x| = j en |y| = i }

Hoorcollege 11, maandag 17 november 2025:
* Paragraaf 7.1 t/m blz 227
* Paragraaf 7.2 (nog zonder Definitie 7.2 en berekeningen in voorbeelden)

Werkcollege 11, donderdag 20 november 2025:
* Opgaven 7.4, 7.9, 7.5
* Extra opgave over simuleren DPDA met Turingmachine
* Extra opgave over TM voor AnBnCn

Hoorcollege 12, maandag 24 november 2025:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3

Werkcollege 12, donderdag 27 november 2025:
* Opgaven 7.1, 7.3, 7.12, 7.17(abce)

Hoorcollege 13, maandag 1 december 2025:
* Paragraaf 7.6
* Paragraaf 7.8 t/m Voorbeeld 7.34
* Paragraaf 8.1
* Opgave 8.2
* Paragraaf 9.1 t/m blz 301.

Werkcollege 13, woensdag 3 december 2025:
* Opgaven 7.24, 7.33, 8.1, 8.3, 8.4, 8.8

Hoorcollege 14, maandag 8 december 2025:
* Paragraaf 9.1 afgemaakt
* Paragraaf 9.2 (maar zonder reducties tussen talen)
* Ook niet behandeld, dus geen tentamenstof: formele bewijs van Stelling 9.7
* Introductie van Paragraaf 9.3
* Opgave 9.7

Hoor-/werkcollege 14, woensdag 10 december 2025:
* Paragraaf 9.3 t/m Stelling 9.9(4)
* Opgaven 9.8, 9.9, 9.10