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

Hoorcollege 1, maandag 2 februari 2015:
* 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, dinsdag 3 februari 2015:
* Opgaven 7.4-7.7, 7.9
* Extra opgave: simuleren van DPDA met TM

Hoorcollege 2, maandag 9 februari 2015:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3
* Extra opgave: TM voor f(x,y)=x mod y

Werkcollege 2, dinsdag 10 februari 2015:
* Opgaven 7.1-7.3, 7.10, 7.12, 7.16, 7.17abce

Hoorcollege 3, maandag 16 februari 2015:
* Paragrafen 7.4 en 7.5
* Extra voorbeeld: TM voor f(x)=a^{n_a}(x)

Werkcollege 3, dinsdag 17 februari 2015:
* Opgaven 7.11, 7.13, 7.14, 7.18, 7.19, 7.20, 7.21, 7.23

Hoorcollege 4, maandag 23 februari 2015:
* Paragrafen 7.6 en 7.7
* Paragraaf 7.8 t/m Voorbeeld 7.34

Werkcollege 4, dinsdag 24 februari 2015:
* Opgaven 7.26-7.30, 7.39-7.41
* Schets van opgaven 7.42 en 7.43

Hoorcollege 5, maandag 2 maart 2015:
* Paragraaf 7.8 afgemaakt
* Paragraaf 8.1 en 8.2
* Opgaven 8.1 en 8.2

Werkcollege 5, dinsdag 3 maart 2015:
* Opgaven 8.3, 8.4, 8.6, 8.7, 8.9, 8.10, 8.12, 8.13

Hoorcollege 6, maandag 16 maart 2015:
* 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, dinsdag 17 maart 2015:
* Opgaven 8.17, 8.18, 8.19, 8.21, 8.23, 8.25

Hoorcollege 7, maandag 23 maart 2015:
* Paragrafen 8.3 en 8.4 afgemaakt
* Opgaven 8.27, 8.31, 8.32

Werkcollege 7, dinsdag 24 maart 2015:
* Opgaven 8.22, 8.26, 8.28, 8.34, 8.29, 8.30

Hoorcollege 8, maandag 30 maart 2015:
* Paragraaf 8.5
* Paragraaf 9.1 t/m blz. 301
* Opgaven 8.35, 8.38, 8.41ab, 9.2

Werkcollege 8, dinsdag 31 maart 2015:
* Opgaven 8.37, 8.39, 8.41defghi, 8.42, 8.45, 8.47

Hoorcollege 9, dinsdag 7 april 2015:
* Paragraaf 9.1 afgemaakt
* Paragraaf 9.2
* Paragraaf 9.3 t/m Stelling 9.9

Werkcollege 9, maandag 13 april 2015:
* Opgaven 9.1, 9.3-9.6, 9.8-9.11
* Opgaven 9.16-9.18 wat algemener besproken

Hoorcollege 10, dinsdag 14 april 2015:
* Paragraaf 9.3 afgemaakt
* Paragraaf 9.4

Werkcollege 10, maandag 20 april 2015:
* Opgaven 9.12, 9.24, 9.27-9.29

Hoorcollege 11, dinsdag 21 april 2015:
* Paragraaf 9.5
* Paragraaf 10.1 t/m Definitie 10.3
* Voorbeeld 10.5

Werkcollege 11, dinsdag 28 april 2015:
* Opgaven 9.32-9.34, 10.12-10.14, 10.15a-d, 10.16

Hoorcollege 12, maandag 4 mei 2015:
* Paragraaf 10.1 afgemaakt
* Opgave 10.1
* Opgave 7.37
* Extra opgave: hoeveel TMs met n toestanden en alfabet {0,1}
* Opgave 10.2
* Extra opgave: toon aan dat predikaat (f(X,y) = 0) primitief recursief is

Hoorcollege 13, maandag 11 mei 2015:
* Paragraaf 10.2
* 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 tot Voorbeeld 10.18

Werkcollege 12, dinsdag 12 mei 2015:
* Opgaven 10.19, 10.23, 10.25, 10.28, 10.30, 10.33

Hoor-/werkcollege 14, maandag 18 mei 2015:
* Paragraaf 10.3 afgemaakt
* Extra voorbeeld: Fibonacci in termen van Stelling 10.19
* Paragraaf 10.4 t/m Stap 1 op blz. 346
* Opgave 10.34

Hoor-/werkcollege 15, dinsdag 19 mei 2015:
* Paragraaf 10.4 afgemaakt
* Paragraaf 10.4
* Opgaven 10.22, 10.35
* Paragraaf 10.5
* Extra opgave: unrestricted grammatica voor functie f(n)=2^n