N/Teilmenge/Aufsteigende Teilmenge/Entscheidbar/Aufgabe

Aus Wikiversity

Es sei eine Teilmenge der natürlichen Zahlen. Es gebe ein Programm für eine Registermaschine,

das die Elemente von in aufsteigender Reihenfolge ausgibt. Zeige, dass entscheidbar ist.