Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...

Zum Selbststudium
Notationsvarianten
Falls #(q, x, k) = {(q 1, .1), … , (q m, .m)}, dann schreiben wir dies auch in der Form
(q, x, k, {(q 1, .1), … , (q m, .m)})
oder
{(q, x, k, q 1, .1), …, (q, x, k, q m, .m)}
Wenn klar ist, über welchen Kellerautomaten K wir reden, schreiben wir auch !
anstelle von ! K und ! * anstelle von ! * K .
Bemerkung
Über die Eigenschaften der Relation ! * K kann man viel sagen und beweisen. Jeder
sollte sich aber klar machen, dass folgendes gilt:
Wenn (q, w, .) ! * K (q', v, -) dann gilt auch für alle u * !*, / * "*:
(q, wu, ./) ! * K (q', vu, -/)
FGI-1 Habel / Eschenbach Kap 13 Kontextfreie Sprachen & Grammatiken [63]
Beispiel Konfigurationsfolgen Kellerautomat
(q 0, aabb, $) ! K1 (q 0, abb, 1$) ! K1 (q 0, bb, 11$) ! K1 (q 1, b, 1$) ! K1 (q 1, ', $) ! K1 (q f, ',')
(q 0, aabb, $) ! K1 (q f, aabb, ')
(q 0, aab, $) ! K1 (q 0, ab, 1$) ! K1 (q 0, b, 11$) ! K1 (q 1, ', 1$)
(q 0, abb, $) ! K1 (q 0, bb, 1$) ! K1 (q 1, b, $) ! K1 (q 1, b, $)
FGI-1 Habel / Eschenbach Kap 13 Kontextfreie Sprachen & Grammatiken [64]