bewijzen over dfa's en cfg's
ditjes en datjes
nog twee bewijzen ivm tms
gedaan voor vandaag
eerste runthrough