N/Teilmenge/Aufsteigende Teilmenge/Entscheidbar/Aufgabe

Es sei $T\subseteq \mathbb{N}$ eine Teilmenge der natürlichen Zahlen. Es gebe ein Programm für eine Registermaschine, das die Elemente von $T$ in aufsteigender Reihenfolge ausgibt. Zeige, dass $T$ entscheidbar ist.

Eine Lösung erstellen