Turing-Maschinen: Kann eine Maschine auf eine endliche Anzahl von Speicherzellen schreiben, aber nicht halten?

Question

Ich versuche, das Stoßproblem zu reduzieren, um ein anderes Problem zu zeigen, ist unentschlossen.Das Problem beinhaltet ein Programm, das trifft, wenn eine Maschine $ M $ in eine beliebige Menge an Speicher schreibt, und false, wenn er auf eine endliche Menge an Speicherzellen schreibt.Ich denke jetzt, schreibt ein begrenzter Betrag von Speicherzellen, der dem Anhalten steht, oder kann Fälle geben, in denen eine Maschine auf eine endliche Menge von Speicherzellen schreibt, ohne zu stoppen?

Vielen Dank im Voraus!

Answer 1

Betrachten Sie eine Turing-Maschine, die wiederholt den Kopf rechts bewegt, dann links, dann rechts, dann links und so weiter.