College 1
Maandag 4 februari 2013, 13:45-15:30
* 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 halverwege blz. 228
* Voorbeeld 7.3 uit Paragraaf 7.2

(Werk-)college 2
Dinsdag 5 februari 2013, 13:45-15:30
* Paragraaf 7.1 afgemaakt
* Paragraaf 7.2 t/m Voorbeeld 7.5
* Opgaven 7.1 - 7.4

(Werk-)college 3
Maandag 11 februari 2013, 13:45-15:30
* Paragraaf 7.2 afgemaakt
* Opgaven 7.6, 7.9
* Paragraaf 7.3
* Opgave 7.17ab

(Werk-)college 4
Dinsdag 12 februari 2013, 13:45-15:30
* Opgaven 7.17ce, 7.10
* Paragraaf 7.4 behalve Voorbeelden 7.20, 7.21

(Werk-)college 5
Maandag 18 februari 2013, 13:45-15:30
* Paragraaf 7.4 afgemaakt
* Opgaven 7.14, 7.13, 7.19, 7.20
* Paragraaf 7.5 t/m formulering Stelling 7.26

(Werk-)college 6
Dinsdag 19 februari 2013, 13:45-15:30
* Paragraaf 7.5 afgemaakt
* Opgaven 7.23, 7.25
* Paragraaf 7.6
* Paragraaf 7.7 t/m Voorbeeld 7.28

(Werk-)college 7
Maandag 25 februari 2013, 13:45-15:30
* Paragraaf 7.7 afgemaakt
* Opgaven 7.26, 7.27
* Paragraaf 7.8 t/m Stelling 7.36

(Werk-)college 8
Dinsdag 26 februari 2013, 13:45-15:30
* Paragraaf 7.8 afgemaakt
* Opgaven 7.28, 7.29, 7.32
* Huiswerkopgave 1 bekendgemaakt

(Werk-)college 9
Maandag 4 maart 2013, 13:45-15:30
* Opgaven 7.39 - 7.41
* Paragraaf 8.1
* Opgaven 8.1, 8.2

(Werk-)college 10
Dinsdag 5 maart 2013, 13:45-15:30
* Opgaven 8.3, 8.4
* Paragraaf 8.2
* Opgaven 8.6, 8.9

(Werk-)college 11
Maandag 11 maart 2013, 13:45-15:30
* Opgaven 8.12, 8.13
* Paragraaf 8.3 t/m Voorbeeld 8.12
* Opgaven 8.17ab, 8.18, 8.19a, 8.20a
* Paragraaf 8.4 t/m Voorbeeld 8.17

(Werk-)college 12
Dinsdag 12 maart 2013, 13:45-15:30
* Paragraaf 8.3 afgemaakt
* Paragraaf 8.4 t/m Stelling 8.20
* Extra voorbeeld: gedetailleerde uitwerking van constructie
  uit Stelling 8.13 (ook tentamenstof!)

(Werk-)college 13
Maandag 18 maart 2013, 13:45-15:30
* Extra voorbeeld: unrestricted grammar voor XX
* Opgaven 8.24, 8.19cd, 8.17c, 8.23, 8.27, 8.32

(Werk-)college 14
Dinsdag 19 maart 2013, 13:45-15:30
* Paragraaf 8.4 afgemaakt
* Huiswerkopgave 2 bekendgemaakt
* Opgaven 8.28, 8.34
* Paragraaf 8.5 t/m Voorbeeld 8.30

(Werk-)college 15
Dinsdag 2 april 2013, 13:45-15:30
* Paragraaf 8.5 afgemaakt
* Opgaven 8.38, 8.37, 8.39, 8.42, 8.41bdefghi

(Werk-)college 16
Maandag 8 april 2013, 13:45-15:30
* Paragraaf 9.1
* Paragraaf 9.2 tot halverwege blz. 306
* Opgave 9.1

(Werk-)college 17
Dinsdag 9 april 2013, 13:45-15:30
* Paragraaf 9.2 afgemaakt
* Opgaven 9.3, 9.5
* Paragraaf 9.3 t/m Stelling 9.9(4)

(Werk-)college 18
Maandag 15 april 2013, 13:45-15:30
* Paragraaf 9.3 afgemaakt
* Opgaven 9.9, 9.10, 9.11, 9.23, 9.12a

(Werk-)college 19
Dinsdag 16 april 2013, 13:45-15:30
* Opgave 9.12bejl
* Paragraaf 9.4
* Opgave 9.27

(Werk-)college 20
Maandag 22 april 2013, 13:45-15:30
* Opgaven 9.28, 9.29
* Paragraaf 9.5 t/m Stelling 9.22

(Werk-)college 21
Dinsdag 23 april 2013, 13:45-15:30
* Paragraaf 9.5 afgemaakt
* Opgaven 9.28, 9.29
* Opgaven 9.32, 9.31
* Extra opgave: construeer CFG voor L(G_alpha)'
* Opgave 9.35

(Werk-)college 22
Maandag 29 april 2013, 13:45-15:30
* Paragraaf 10.1 t/m Voorbeeld 10.5
* Opgave 10.1
* Extra opgave over aantal TMs
* Opgaven 10.2, 10.14, 10.15

(Werk-)college 23
Maandag 6 mei 2013, 13:45-15:30
* Opgaven 10.16, 10.12, 10.13
* Paragraaf 10.1 afgemaakt

(Werk-)college 24
Dinsdag 7 mei 2013, 13:45-15:30
* Paragraaf 10.2 t/m Voorbeeld 10.13
* Extra opgave: toon aan dat predikaat (f(X,y) = 0) primitief recursief is
* Opgaven 10.19bcd, 10.23

(Werk-)college 25
Maandag 13 mei 2013, 13:45-15:30
* Paragraaf 10.2 afgemaakt
* Opgaven 10.25, 10.30
* Extra opgave over compositie van totale en niet-totale functies
* Paragraaf 10.3 t/m Voorbeeld 10.18

(Werk-)college 26
Dinsdag 14 mei 2013, 13:45-15:30
* Paragraaf 10.3 afgemaakt
* Paragraaf 10.4 t/m blz. 349
* Opgaven 10.34, 10.22

(Werk-)college 27
Dinsdag 21 mei 2013, 13:45-15:30
* Paragraaf 10.4 afgemaakt
* Opgaven 10.35, 10.33
* Paragraaf 10.5
* Extra opgave: unrestricted grammatica voor functie f(x)=2^x