Behandelde stof bij de hoor- en werkcolleges
Computability, voorjaar 2022
============================================

Hoorcollege 1, donderdag 10 februari 2022
* Opzet vak
* Herhaling FI2:
  - 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, vrijdag 11 februari 2022:
* Opgaven 7.4, 7.9
* Extra opgave: simuleren DPDA met TM
* Extra opgave: TM voor AnBnCn

Hoorcollege 2, donderdag 17 februari 2022:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3
* Extra voorbeeld: TM voor f(x)=x/3
* Extra voorbeeld: TM voor { xyx | |x|=|y| }
* Extra opgave: TM voor f(x,y)=x mod y (alleen genoemd)

Werkcollege 2, vrijdag 12 februari 2021
(in plaats van 18 februari 2022):
* Opgaven 7.1 en 7.2 genoemd
* Opgaven 7.3, 7.10, 7.12, 7.16, 7.17abce (ab in grote lijnen)

Hoorcollege 3, donderdag 24 februari 2022:
* 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.28

Werkcollege 3, vrijdag 25 februari 2022:
* Opgaven 7.14, 7.13, 7.19, 7.24
* Extra opgave: controleer anagram met twee tapes
* Opgave 7.20 in grote lijnen

Hoorcollege 4, donderdag 25 februari 2021:
(in plaats van 3 maart 2022):
* Voorbeeld 7.30 en 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, 8.2

Werkcollege 4, vrijdag 4 maart 2022:
* Opgaven 7.26, 7.28-7.30, 7.33, 7.34a, 8.4

Hoorcollege 5, donderdag 10 maart 2022:
* Paragraaf 8.3
* Extra voorbeeld: unrestricted grammar voor XX
* Extra voorbeeld: implementatie constructie van Stelling 8.13

Werkcollege 5, vrijdag 11 maart 2022:
* Opgaven 8.17, 8.19a
* Extra opgave: constructie van Stelling 8.14 voor eenvoudige TM

Hoorcollege 6, donderdag 17 maart 2022:
* Paragraaf 9.1
* Opgave 9.2
* Bijna heel Paragraaf 9.2 (maar zonder reducties tussen talen)
* Paragraaf 9.3 t/m Stelling 9.9(1)

Werkcollege 6, vrijdag 18 maart 2022:
* Opgaven 8.19d, 8.34b, 9.7, 9.8
* Opgave 9.9 genoemd

Hoorcollege 7, donderdag 24 maart 2022:
* Belangrijkste resultaten Paragraaf 8.5 (zonder bewijs)
* Paragraaf 9.2 afgemaakt (maar nog steeds zonder reducties tussen talen)
* Paragraaf 9.3 t/m Stelling 9.10
* Opgave 8.3

Werkcollege 7, vrijdag 25 maart 2022:
* Paragraaf 9.3 afgemaakt
* Opgaven 9.1 (niet symmetrisch), 9.10, 9.12be
* Opgave 9.11 genoemd