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

Register-aufzählbar

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