Folien
Folien
Folien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Automaten und Berechenbarkeit 28<br />
Definition 2.7 (Kellerautomat) A = (Z,X,Γ,z0,k0,∆,Zf) heißt<br />
(nichtdeterministischer) Kellerautomat genau dann, wenn gilt:<br />
• Z endliche Zustandsmenge<br />
• X endliches Eingabealphabet<br />
• Γ endliches Alphabet, die Menge der Kellersymbole<br />
• z0 ∈ Z Anfangszustand<br />
• k0 ∈ Γ Kellerstartsymbol<br />
• Zf ⊆ Z Menge der Endzustände<br />
• ∆ ⊆ Z×(X∪{ε})×Γ ×Γ ∗ ×Z