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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Zur Lösung, Alternative Lösung erstellen