Collatz-Problem/Registermaschine/Als Halteproblem/Aufgabe

Aus Wikiversity

Zeige, dass das in Aufgabe entworfene Programm für eine Registermaschine bei Eingabe einer natürlichen Zahlen im Register genau dann nicht anhält, wenn die Zahl eine negative Antwort zum Collatz-Problem

liefert.