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

Hoorcollege 1, maandag 5 februari 2018:
* 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 5 februari 2018:
* Opgaven 7.4, 7.5, 7.6, 7.9
* Extra opgave: simuleren DPDA met TM
* Extra opgave: TM voor AnBnCn

Hoorcollege 2, maandag 12 februari 2018:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3
* Extra voorbeeld: TM voor f(x)=x/3
* Extra opgave: TM voor f(x,y)=x mod y

Werkcollege 2, maandag 12 februari 2018:
* Opgaven 7.1-7.3, 7.10, 7.12, 7.14, 7.16, 7.17abce

Hoorcollege 3, maandag 19 februari 2018:
* 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 19 februari 2018:
* Opgaven 7.13, 7.14, 7.18-7.20, 7.25-7.30

Hoorcollege 4, maandag 26 februari 2018:
* formulering Stelling 7.31 (zonder bewijs)
* Paragraaf 7.6
* Paragraaf 7.8 t/m Voorbeeld 7.34
* is coderingsfunctie e compleet?
* Paragraaf 8.1
* Opgaven 8.1 en 8.2

Werkcollege 4, maandag 26 februari 2018:
* Opgaven 7.33-7.35, 8.1, 8.4, 8.8

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

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

Hoorcollege 6, maandag 19 maart 2018:
* Paragraaf 8.5
* Opgaven 8.35, 8.41ab, 8.38
* Paragraaf 9.1 t/m blz. 301
* Opgave 9.2

Werkcollege 6, maandag 19 maart 2018:
* opgaven bij parafgraaf 8.5 (exacte opgaven worden nog opgezocht)

Hoorcollege 7, maandag 26 maart 2018:
* Paragraaf 9.1 afgemaakt
* Paragraaf 9.2, met uitzondering van
  - reducties tussen talen
    (we hebben alleen reducties tussen beslissingsproblemen behandeld)
* Paragraaf 9.3, met uitzondering van
  - Stelling 9.9(5) t/m Stelling 9.10
  - bewijs van Stelling 9.12
* Opgave 9.7 aangestipt

Werkcollege 7, maandag 26 maart 2018:
* Opgaven 9.1, 9.5, 9.8, 9.11
* Kijk ook naar Opgaven 9.10, 9.12
* Om gevoel bij reducties te krijgen, kun je ook kijken naar
  Opgaven 11.15, 11.19, 11.26, 11.28