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

Kontextfreie Sprachen
Kellerautomaten
Definition
Für eine Menge B besteht ein Keller oder Stack vom Typ B aus der
Menge B ∗ zusammen mit zwei inversen Operationen
definiert durch
{ε} + B × B ∗
push
pop
push(ε) = ε , push(b, m) := bm
{
〈b, n〉 falls m = bn mit b ∈ B und n ∈ B ∗ ;
pop(m) =
ε falls m = ε.
Wir vereinbaren, Stacks horizontal als Wörter über B zu schreiben und
von links zu befüllen, damit liefert pop im nichtleeren Fall das erste
Element und den verbleibenden Rest-Stack.
B ∗
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 158 / 191