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.

Eine Lösung erstellen