halting en acceptance voor TM's
enumerator
p100 bewezen