Behandelde stof bij de hoor- en werkcolleges
Fundamentele Informatica 3, najaar 2016
============================================

Hoorcollege 1, dinsdag 6 september 2016:
* 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, donderdag 8 september 2016:
* Opgaven 7.4, 7.5, 7.6, 7.9

Hoorcollege 2, dinsdag 13 september 2016:
* 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, donderdag 15 september 2016:
* Opgaven 7.1-7.3, 7.10, 7.12, 7.14, 7.16, 7.17abce

Hoorcollege 3, dinsdag 20 september 2016:
* Paragrafen 7.4 en 7.5
* Extra voorbeeld: TM voor f(x)=a^{n_a}(x)
* Extra voorbeeld: 2-tapes TM voor AnBn

Werkcollege 3, donderdag 22 september 2016:
* Opgaven 7.13, 7.14, 7.18, 7.19, 7.20, 7.21
* Opgave 1b van tentamen van juni 2016

Hoorcollege 4, dinsdag 27 september 2016:
* Paragrafen 7.6 en 7.7
* Paragraaf 7.8 t/m Voorbeeld 7.34
* is coderingsfunctie e compleet?

Werkcollege 4, donderdag 29 september 2016:
* Opgaven 7.26-7.30, 7.33-7.36
* Opgaven 7.39-7.41 genoemd

Hoorcollege 5, dinsdag 4 oktober 2016:
* Paragraaf 7.8 afgemaakt
* Extra opgave: stappen met universele TM
* Paragraaf 8.1 en 8.2
* Opgaven 8.1 en 8.2

Werkcollege 5, donderdag 6 oktober 2016:
* Opgaven 8.4, 8.6, 8.7-8.10, 8.12

Hoorcollege 6, dinsdag 11 oktober 2016:
* Paragraaf 8.3 t/m Stelling 8.13
* Extra voorbeeld: unrestricted grammar voor XX
* Extra voorbeeld: implementatie constructie van Stelling 8.13
* Paragraaf 8.4 t/m Stelling 8.19
* Stelling 8.22
* Opgave 8.24

Werkcollege 6, donderdag 13 oktober 2016:
* Opgaven 8.17, 8.18, 8.19, 8.21, 8.23, 8.25

Hoorcollege 7, dinsdag 18 oktober 2016:
* Paragrafen 8.3 en 8.4 afgemaakt
* Opgaven 8.27, 8.32

Werkcollege 7, donderdag 20 oktober 2016:
* Opgaven 8.22, 8.26, 8.28, 8.34, 8.29, 8.30

Hoorcollege 8, dinsdag 25 oktober 2016:
* Paragraaf 8.5
* Paragraaf 9.1 t/m blz. 301
* Opgaven 8.35, 8.38, 8.41ab, 9.2

Werkcollege 8, donderdag 27 oktober 2016:
* Opgaven 8.37, 8.39, 8.41defghi, 8.42, 8.45, 8.47

Hoorcollege 9, dinsdag 1 november 2016:
* Paragraaf 9.1 afgemaakt
* Paragraaf 9.2
* Paragraaf 9.3 t/m Stelling 9.9(4)
* Opgave 9.7 genoemd

Werkcollege 9, donderdag 3 november 2016:
* Opgaven 9.1, 9.3-9.6, 9.8-9.11

Hoorcollege 10, dinsdag 8 november 2016:
* Paragraaf 9.3 afgemaakt
* Paragraaf 9.4

Werkcollege 10, donderdag 10 november 2016:
* Opgave 9.12

Hoorcollege 11, dinsdag 15 november 2016:
* Paragraaf 9.5

Werkcollege 11, donderdag 17 november 2016:
* Opgave 9.12 van andere kant

Hoorcollege 12, dinsdag 22 november 2016:
* Paragraaf 10.1 tot Stelling 10.6
* Opgave 10.1 genoemd
* Opgave 7.37
* Extra opgave: hoeveel TMs met n toestanden en alfabet {0,1}
* Opgave 10.2

Werkcollege 12, donderdag 24 november 2016:
* ...

Hoorcollege 13, dinsdag 29 november 2016:
* Paragraaf 10.1 afgemaakt
* Extra opgave: toon aan dat predikaat (f(X,y) = 0) primitief recursief is
* Paragraaf 10.2 t/m Stelling 10.12

Werkcollege 13, donderdag 1 december 2016:
* Opgaven 10.19, 10.23, 10.25, 10.28, 10.30, 10.33

Hoorcollege 14, dinsdag 6 december 2016:
* Paragraaf 10.2 afgemaakt
* Opgaven 10.19d, 10.23, 10.30
* Extra voorbeeld: Mf voor f=p_1^2 - C_1^2
* Extra opgave: combineer niet-totale en totale functie tot totale functie
* Paragraaf 10.3 t/m Voorbeeld 10.18
* Opgave 10.16 genoemd

Hoorcollege 15, donderdag 8 december 2016:
* Paragraaf 10.3 afgemaakt (minus Stelling 10.19)
* Opgave 10.22
* Paragraaf 10.4
* Opgave 10.34 globaal
* Opgave 10.35
* Paragraaf 10.5
* Extra opgave: unrestricted grammatica voor functie f(n)=2^n