Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...
Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...
Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kellerautomaten<br />
Konfiguration (Definition)<br />
Kontextfreie Sprachen Kellerautomaten<br />
Eine Konfiguration eines Kellerautomaten ist gegeben durch ein Tripel<br />
k ∈ Z × Σ ∗ × Γ ∗ .<br />
Bedeutung der Komponenten von k = (z, w, γ) ∈ Z × Σ ∗ × Γ ∗ :<br />
z ∈ Z ist der aktuelle Zustand des Kellerautomaten.<br />
w ∈ Σ ∗ ist der noch zu lesende Teil der Eingabe.<br />
γ ∈ Γ ∗ ist der aktuelle Kellerinhalt. Dabei steht das oberste<br />
Kellerzeichen ganz links.<br />
Sander Bruggink <strong>Automaten</strong> <strong>und</strong> <strong>Formale</strong> Sprachen 251