Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
9
Konfiguration (direkte) Nachfolgekonfiguration
"Schnappschuss" der Rechnung zu einem bestimmten Zeitpunkt
Konfiguration: ist ein String
mit 
und 
auf dem Band steht
eingerahmt von Blanks und der Zustand ist q und der Kopf steht unter dem ersten Zeichen von 
Bsp.: 000
1011 Kopf steht auf rot
direkte Nachfolgekonfiguration:
ist d.Nkonf. von , falls in einem Rechenschritt aus entsteht: 
Nachfolgekonfiguration:
von , falls in endlich vielen Rechenschritten aus entsteht.
Die Rechnung terminiert, wenn Stoppzustand erreicht ist. Dann gibt es keine Nachfolgekonfiguration.
Konfiguration: ist ein String
mit und auf dem Band steht
eingerahmt von Blanks und der Zustand ist q und der Kopf steht unter dem ersten Zeichen von Bsp.: 000
1011 Kopf steht auf rotdirekte Nachfolgekonfiguration:
ist d.Nkonf. von , falls in einem Rechenschritt aus entsteht: Nachfolgekonfiguration:
von , falls in endlich vielen Rechenschritten aus entsteht.Die Rechnung terminiert, wenn Stoppzustand erreicht ist. Dann gibt es keine Nachfolgekonfiguration.
