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

Hoorcollege 1, vrijdag 9 februari 2024
* 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, maandag 12 februari 2024:
* Opgaven 7.4, 7.6
* Opgave 7.5 genoemd
* Extra opgave: simuleren DPDA met TM
* Extra opgave: TM voor AnBnCn

Hoorcollege 2, vrijdag 16 februari 2024:
* 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, maandag 19 februari 2024:
* Opgaven 7.3, 7.10, 7.12, 7.16, 7.17c
* Opgaven 7.1, 7.17abe genoemd

Hoorcollege 3, vrijdag 23 februari 2024:
* 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.30

Werkcollege 3, maandag 26 februari 2024:
* Opgaven 7.14, 7.18, 7.19, 7.23

Hoorcollege 4, vrijdag 1 maart 2024:
* Voorbeeld 7.30 en formulering Stelling 7.31 (zonder bewijs)
* Opgave 7.13
* Paragraaf 7.6
* Paragraaf 7.8 t/m Voorbeeld 7.34
* is coderingsfunctie e compleet?
* Paragraaf 8.1 t/m Stelling 8.4
* Opgave 8.2

Werkcollege 4, maandag 4 maart 2024:
* Opgaven 7.28, 7.29 klassikaal
* Opgaven 7.26, 7.27, 7.30, 7.32, 7.33, 7.34 passen er ook bij

Hoorcollege 5, vrijdag 8 maart 2024:
* Paragraaf 8.3 tot halverwege bewijs Stelling 8.14
* Extra voorbeeld: unrestricted grammar voor XX
* Extra voorbeeld: implementatie constructie van Stelling 8.13

Werkcollege 5, maandag 11 maart 2024:
* Opgaven 8.4, 8.17ac, 8.19a, 8.21ab

Hoorcollege 6, vrijdag 15 maart 2024:
* Paragraaf 8.3 afgemaakt.
* Paragraaf 9.1
* Opgave 9.2
* Eerste blz van Paragraaf 9.2

Werkcollege 6, maandag 18 maart 2024:
* Opgaven 8.19cd, 8.27, 8.34
* Extra opgave over constructie bij Stelling 8.13
* Extra opgave over constructie bij Stelling 8.14

Hoor/werkcollege 7, vrijdag 22 maart 2024:
* Belangrijkste resultaten Paragraaf 8.5 (zonder bewijs)
* Opgave 8.3
* Paragraaf 9.2 afgemaakt (maar zonder reducties tussen talen)
* Paragraaf 9.3 t/m blz 311
* Opgaven 9.7, 9.8, 9.9, 9.10