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

Aus Wikiversity

Es sei eine endliche Teilmenge. Man gebe ein Programm für eine Registermaschine an, das nur auf einen einzigen Register Bezug nimmt, das bei jeder Eingabe (in )

immer anhält und das im Anhaltezustand in genau dann den Wert besitzt, wenn die Eingabe zu gehört.