Registermaschine/Haltende Programme/Aufzählbar/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Die Menge der Programmnummern von Registerprogrammen, die angesetzt auf ${}0$ anhalten, ist ${}R$ -aufzählbar.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Registermaschine/Haltende_Programme/Aufzählbar/Fakt&oldid=397379“

Theorie der Registermaschinen/Fakten