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 ![](/pool/data/tex/922f1619403522e7398c20cd37d32c66.gif)
auf dem Band steht
eingerahmt von Blanks und der Zustand ist q und der Kopf steht unter dem ersten Zeichen von ![](/pool/data/tex/b0603860fcffe94e5b8eec59ed813421.gif)
Bsp.: 000
1011 Kopf steht auf rot
direkte Nachfolgekonfiguration:
ist d.Nkonf. von
, falls
in einem Rechenschritt aus
entsteht: ![](/pool/data/tex/788c7c4f71ad57fd4b2ccca697558964.gif)
Nachfolgekonfiguration:
von
, falls
in endlich vielen Rechenschritten aus
entsteht.
![](/pool/data/tex/4a03166d751743dcd558ccf1b503cbb4.gif)
Die Rechnung terminiert, wenn Stoppzustand erreicht ist. Dann gibt es keine Nachfolgekonfiguration.
Konfiguration: ist ein String
![](/pool/data/tex/d25187a741809c52aa384463aea554dd.gif)
![](/pool/data/tex/6bce8dea34dca6de99f898552ac31489.gif)
![](/pool/data/tex/922f1619403522e7398c20cd37d32c66.gif)
auf dem Band steht
![](/pool/data/tex/f38e6ffe43515f07a92c862469cbb2ef.gif)
![](/pool/data/tex/b0603860fcffe94e5b8eec59ed813421.gif)
Bsp.: 000
![](/pool/data/tex/fa043c065dd111d926a3d140b618b05e.gif)
direkte Nachfolgekonfiguration:
![](/pool/data/tex/f16069491f5e68a71ab4d4807d3e0290.gif)
![](/pool/data/tex/d25187a741809c52aa384463aea554dd.gif)
![](/pool/data/tex/f16069491f5e68a71ab4d4807d3e0290.gif)
![](/pool/data/tex/d25187a741809c52aa384463aea554dd.gif)
![](/pool/data/tex/788c7c4f71ad57fd4b2ccca697558964.gif)
Nachfolgekonfiguration:
![](/pool/data/tex/cc4ceb8291073647ad7430f04bd1576a.gif)
![](/pool/data/tex/d25187a741809c52aa384463aea554dd.gif)
![](/pool/data/tex/cc4ceb8291073647ad7430f04bd1576a.gif)
![](/pool/data/tex/d25187a741809c52aa384463aea554dd.gif)
![](/pool/data/tex/4a03166d751743dcd558ccf1b503cbb4.gif)
Die Rechnung terminiert, wenn Stoppzustand erreicht ist. Dann gibt es keine Nachfolgekonfiguration.