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