Behandelde stof bij de hoor- en werkcolleges
Fundamentele Informatica 3, voorjaar 2019
============================================

Hoorcollege 1, maandag 4 februari 2019:
* Opzet vak
* Herhaling FI2: Hst2-6:
  - eindige automaten
  - pomplemma voor reguliere talen,
  - reguliere expressies / talen,
  - niet-deterministische eindige automaten
  - context-vrije grammatica's
  - reguliere grammatica's
  - afleidingsbomen
  - stapelautomaten
  - deterministische stapelautomaten
  - pomplemma voor context-vrije talen
* Paragraaf 7.1 tot Definitie 7.1
* Extra voorbeeld: FA met meerdere accepterende toestanden
* Uit Paragraaf 7.2: Voorbeeld 7.3 en Voorbeeld 7.5 t/m Figuur 7.6
  (waar `Figure 7.5' onder staat)

Werkcollege 1, maandag 4 februari 2019:
* Opgaven 7.4, 7.5, 7.6, 7.9
* Extra opgave: TM voor AnBnCn

Hoorcollege 2, maandag 11 februari 2019:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3
* Extra voorbeeld: TM voor f(x)=x/3
* Extra voorbeeld: TM voor { xyx | |x|=|y| }
* Extra opgave: TM voor f(x,y)=x mod y (alleen genoemd)

Werkcollege 2, maandag 11 februari 2019:
* Opgaven 7.1-7.3, 7.10, 7.14, 7.16, 7.17abce

Hoorcollege 3, maandag 18 februari 2019:
* Paragraaf 7.4
* Extra voorbeeld: TM voor f(x)=a^{n_a}(x)
* Paragraaf 7.5, behalve
  - formele definities van delta en configuratie
  - formele formulering Stelling 7.26
  - bewijs van Stelling 7.26
* Extra voorbeeld: 2-tapes TM voor AnBn
* Paragraaf 7.7 t/m Voorbeeld 7.30

Werkcollege 3, maandag 18 februari 2019:
* Opgaven 7.13, 7.18-7.20, 7.26, 7.29, 7.30
* Opgave 1b van tentamen van juni 2016

Hoorcollege 4, maandag 25 februari 2019:
* Opgave 7.28
* formulering Stelling 7.31 (zonder bewijs)
* Paragraaf 7.6
* Paragraaf 7.8 t/m Voorbeeld 7.34
* is coderingsfunctie e compleet?
* Paragraaf 8.1 t/m Stelling 8.4
* Opgave 8.2

Werkcollege 4, maandag 25 februari 2019:
* Opgaven 7.33, 7.34, 8.1, 8.4, 8.8

Hoorcollege 5, maandag 4 maart 2019:
* Paragraaf 8.3
* Extra voorbeeld: unrestricted grammar voor XX
* Extra voorbeeld: implementatie constructie van Stelling 8.13

Werkcollege 5, maandag 4 maart 2019:
* Opgaven 8.17-8.19, 8.21

Hoor-/werkcollege 6, maandag 18 maart 2019:
* Paragraaf 8.1 afgemaakt
* Belangrijkste resultaten Paragraaf 8.5 (zonder bewijs)
* Paragraaf 9.1
* Bijna heel Paragraaf 9.2 (maar zonder reducties tussen talen)
* Opgaven 8.3, 9.1, 9.2 en 9.5

Hoor-/werkcollege 7, maandag 25 maart 2019:
* Paragraaf 9.2 afgemaakt (maar nog steeds zonder reducties tussen talen)
* Paragraaf 9.3
* Opgaven 9.7, 9.8, 9.9, 9.10, 9.11, 9.12abejl