TM haben unbegrenzt viel Speicherplatz zur Verfügung.
Sie können beliebige Abhängigkeiten zwischen Teilwörtern darstellen.
Die Sprachen, die von einer Turingmaschine erkannt werden, nennt man rekursiv aufzählbar.
Die Steuerung einer TM kann sehr schnell sehr komplex werden.
Viele Schritte sind beim Verschieben des Inhalts von Zellen um bspw. zwei Zellen notwendig , um auf dem Band Platz zu schaffen.
Dieser Fall kann eintreten, wenn neue Ergebnisse an einer bestimmten Stelle auf dem Band abgelegt werden sollen.
TM verhalten sich wie ein Programm, das einen String als Eingabe nimmt, auf ihm Berechnungen ausführt und
bei Halt einen String ausgibt.
Somit verhalten sie sich wie eine Funktion, die einer Eingabe eine Ausgabe zuordnet.
| 
1
2
3
4
5
Varianten von Turingmaschinen
