Maandag 31 januari 2011, 13:45-15:30
* Opzet vak
* Herhaling Hst3-6: reguliere expressies, eindige automaten
    (wel/niet deterministisch), reguliere talen,
    niet-reguliere talen, pomplemma voor reguliere talen,
    context-vrije grammatica's
* Hfst 7 tot halverwege blz 257

Dinsdag 1 februari 2011, 13:45-14:15
* Voorbeeld 7.2

Maandag 7 februari 2011, 13:45-15:30
* Paragraaf 7.3
* Opgave 7.12

Maandag 14 februari 2011, 13:45-15:30
* Paragraaf 7.4
* Blz 273 (eerste blz van paragraaf 7.5)

Maandag 21 februari 2011, 13:45-15:30
* helft opgave 7.41: $L_{f}(M) \subseteq L_{e}(M_{1})$
* Paragraaf 7.5 afgemaakt
* Paragraaf 7.6 tot en met voorbeeld 7.8
* Huiswerkopgave 1 aangekondigd

Dinsdag 22 februari 2011, 15:00-15:25
* Voorbeeld 7.9 en voorbeeld 7.10

Maandag 28 februari 2011, 13:45-15:30
* Herhaling pomplemma voor contextvrije talen
* Paragraaf 8.2 en 8.3 
* Introductie Turing Machine en voorbeeld 9.2

Maandag 7 maart 2011, 13:45-15:30
* Opgaven 7.16 (deels), 7.40, 8.20a, 8.21, 8.22
* Paragraaf 9.1

Maandag 14 maart 2011, 13:45-15:30
* Opgave 8.20b
* Paragraaf 9.2 tot en met vb 9.5
* Paragraaf 9.3 tot en met blz. 334
* Lees zelf heel paragrafen 9.2 en 9.3

Maandag 21 maart 2011, 13:45-15:30
* Voorbeeld 9.6
* Paragraaf 9.4
  met ad-hoc voorbeeld van constructie uit stelling 9.1
* Paragraaf 9.5, behalve stelling 9.2 (deze komt later nog)
* Huiswerkopgave 3 aangekondigd

Maandag 28 maart 2011, 11:15-13:00 (werk-/hoorcollege)
* Opgaven 9.22, 9.23, 9.24, 9.42
* Stelling 9.2
* Opgave 9.34

Maandag 28 maart 2011, 13:45-15:30
* Paragraaf 9.6
* Paragraaf 9.7
* Paragraaf 10.1 tot en met stelling 10.2

Maandag 4 april 2011, 13:45-15:30
* Paragraaf 10.1 afgemaakt
* Opgaven 10.1, 10.2, 10.3, 10.4
* Paragraaf 10.2
* Paragraaf 10.3 tot en met voorbeeld 10.1
* Bestudeer zelf voorbeeld 10.2

Maandag 11 april 2011, 13:45-15:30
* Stelling 10.8, voorbeeld 10.3, stelling 10.9
* Bestudeer zelf voorbeeld 10.4
* Paragraaf 10.5

Maandag 18 april 2011, 13:45-15:30
* Paragraaf 10.4
* Opgave 10.42
* Paragraaf 11.1 tot en met Stelling 11.1

Dinsdag 19 april 2011, 13:45-15:30
* Paragraaf 11.1 afgemaakt
* Paragraaf 11.2
* Paragraaf 11.3 tot en met Stelling 11.7

Maandag 2 mei 2011, 13:45-15:30
* Stelling 11.8 (WritesSymbol behandeld,
  bestudeer zelf de andere beslissingsproblemen)
* Paragraaf 11.4
  (vergeet hierbij maar de foute reductie van Equivalent
  naar Accepts-L(T2) die de docent na Stelling 11.9 behandelde)
* Paragraaf 11.5 tot en met formulering Stelling 11.11
* Paragraaf 11.6 tot en met Stelling 11.13
* Formulering Stelling 11.15