nieuwe opmerking
tot aan herschrijfsystemen
review les 18 11
nog een bewijs
foutje verbeterd
nog een foutje
bits and bobs
more bits and bobs
new oz solutions
voorbeelden bij recursieve functies
voorbeeld van de faculteitsfunctie
nog een bewijs bij Turingmachines
bewijzen over dfa's en cfg's
ditjes en datjes
nog twee bewijzen ivm tms
gedaan voor vandaag
eerste runthrough
mooore stuff
voorwoord
bewijs stelling van rice