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

Hoorcollege 1, donderdag 9 februari 2023
* Opzet vak
* Herhaling Automata Theory:
  - pomplemma voor context-vrije talen
* Paragraaf 7.1 tot Definitie 7.1
* Extra voorbeeld: FA met meerdere accepterende toestanden
* Paragraaf 7.2, nog behalve de beschrijving van de berekeningen aan
  het eind van Voorbeeld 7.5 en Voorbeeld 7.7.

Werkcollege 1, vrijdag 10 februari 2023:
* Opgaven 7.4, 7.9
* Extra opgave: simuleren DPDA met TM
* Extra opgave: TM voor AnBnCn

Hoorcollege 2, donderdag 16 februari 2023:
* 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 17 februari 2023:
* Opgaven 7.1, 7.2, 7.12, 7.16 genoemd
* Opgaven 7.3, 7.10, 7.17abc (c in grote lijnen)

Hoorcollege 3, donderdag 23 februari 2023:
* 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 24 februari 2023:
* Opgaven 7.14, 7.13, 7.18, 7.19, 7.20
* Extra opgave: controleer anagram met twee tapes

Hoorcollege 4, donderdag 2 maart 2023:
* 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 3 maart 2023:
* Opgaven 7.26, 7.28, 7.29, 7.33b, 8.4
* Opgaven 7.33a, 7.34, 8.8 genoemd

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

Werkcollege 5, vrijdag 10 maart 2023:
* Opgaven 8.17, 8.18, 8.19a

Hoorcollege 6, donderdag 16 maart 2023:
* Paragraaf 9.1
* Opgave 9.2
* Bijna heel Paragraaf 9.2 (maar zonder reducties tussen talen)

Werkcollege 6, vrijdag 17 maart 2023:
* Opgaven 8.19d, 8.34b, 9.7, 9.9

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

Werkcollege 7, vrijdag 24 maart 2023:
* Paragraaf 9.3 afgemaakt
* Opgaven 9.23, 9.11, 9.12abel