Registermaschine/Teilmenge der natürlichen Zahlen/Aufzählbarkeit/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Register-aufzählbar

Es sei eine Teilmenge der natürlichen Zahlen. Man sagt, dass diese Menge -aufzählbar (oder Register-aufzählbar) ist, wenn es ein Programm für eine Registermaschine gibt, die bei Eingabe von nach und nach genau die Zahlen aus ausdruckt (dabei dürfen Zahlen aus auch mehrfach ausgedruckt werden).