Registermaschine/Registerbeschränkt/Zustands-periodisches Programm/Aufgabe

Zeige, dass ein nicht anhaltendes, Register-beschränktes Programm (d.h. es gibt eine Schranke ${}S\in \mathbb {N}$ , die die Registerinhalte zu keinem Zeitpunkt des Programmablaufes überschreiten) Zustands-periodisch ist.