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

Kontextfreie Sprachen
Kontextfreie Grammatiken und Sprachen
Achtung: zwar wird pro Ableitungsschritt genau eine Variable ersetzt, aber
dies ist weniger wichtig als es zunächst erscheint.
Mehrere Produktionen A w i , i < n , mit derselben linken Seite können
vorkommen, insofern sind kfG’n automatisch nicht-deterministisch. Oft
faßt man solche Produktionen abkürzend wie folgt zusammen
Konzeptionell abstrahieren
A
w 0 | w 1 | . . . | w n−1
⊲ die Variablen in V die obigen Mengenvariablen über X ∗ ;
⊲ die Konstanten a ∈ X die Sprachen {a} (wie bei regulären
Ausdrücken wird auf Mengenklammern verzichtet);
⊲ die Konkatenation von Symbolen die Konkatenation von Sprachen;
⊲ der Pfeil die Obermengenrelation ⊇ .
⊲ der vertikale Strich | die Vereinigung ∪ (pro Ableitungsschritt wird
aber nur eine der rechten Alternativen verwendet).
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 113 / 191