N/Teilmenge/Aufsteigende Teilmenge/Entscheidbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen