Handout - Institut für Theoretische Informatik - Technische ...

Kontextfreie Sprachen
Kellerautomaten
Definition
Q × B ∗
γ(a)
Q × B ∗
Q × pop
Q × (〈id, ι〉 + B × B ∗ )
Q × ({ε} + B × B ∗ )
Q × B ∗ × B ∗
Q × concat
δ(a) × B ∗
Q × ({ε} × B ∗ + B × B ∗ )
∼=
Q × ({ε} + B) × B ∗
id
〈id, ι〉 faßt die Spanne {ε} {ε} B ∗ aus Identität und Inklusion
zu einer Abbildung {ε} {ε} × B ∗ zusammen. Die Distributivität von
× über + liefert den unteren Isomorphismus.
Die Akzeptanz von Wörtern durch Kellerautomaten kann nun wie für
εNEAs mittels Relationenprodukten der γ(a) , a ∈ X , formuliert werden.
Wir werden das hier aber nicht weiterverfolgen.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 162 / 191
ι