Die Turing-Maschine

TM 
TM halten 
Eigenschaften TM 
Entscheidbarkeit