N/Endliche Teilmenge/Entscheidbar/Nur ein Register/Aufgabe

Es sei ${}T\subseteq \mathbb {N}$ eine endliche Teilmenge. Man gebe ein Programm für eine Registermaschine an, das nur auf einen einzigen Register ${}R_{1}$ Bezug nimmt, das bei jeder Eingabe (in ${}R_{1}$) immer anhält und das im Anhaltezustand in ${}R_{1}$ genau dann den Wert ${}0$ besitzt, wenn die Eingabe zu ${}T$ gehört.

Zur Lösung, Alternative Lösung erstellen