Registermaschine/Haltende Programme/Aufzählbar/Fakt

Aus Wikiversity

Die Menge der Programmnummern von Registerprogrammen, die angesetzt auf anhalten, ist -aufzählbar.