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

Hoorcollege 1, maandag 3 februari 2025
* 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 Voorbeelden 7.5 en 7.7.

Werkcollege 1, dinsdag 4 februari 2025:
* Opgaven 7.4, 7.5, 7.9
* Extra opgave: TM voor AnBnCn

Hoorcollege 2, maandag 10 februari 2025:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3 t/m Voorbeeld 7.12

Werkcollege 2, dinsdag 11 februari 2025:
* Opgaven 7.1, 7.2, 7.3, 7.17c, 7.12

Hoorcollege 3, maandag 17 februari 2025:
* Paragraaf 7.3 afgemaakt
* 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, dinsdag 18 februari 2025:
* Opgaven 7.14, 7.18, 7.19
* Extra opgave: 2-tapes TM voor anagrammen