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.