Collatz-Problem/Registermaschine/Als Halteproblem/Aufgabe

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