Inhaltsverzeichnis - Automaten und Formale Sprachen
Inhaltsverzeichnis - Automaten und Formale Sprachen
Inhaltsverzeichnis - Automaten und Formale Sprachen
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
(c) L 2 ist die Klasse aller <strong>Sprachen</strong> L, für die gilt: L = L(G) für eine kontextfreie Grammatik<br />
G.<br />
2.1.7 Beispiel Wir betrachten die folgende Grammatik: G = (V, Σ, S, P ) mit V = {S},<br />
Σ = {0, 1}; P enthält die folgenden Produktionen:<br />
(1) S → ε<br />
(2) S → SS<br />
(3) S → 0S1.<br />
Eine Ableitung in dieser Grammatik sieht z.B. aus wie folgt:<br />
S ⇒ SS ⇒ SSS ⇒ 0S1SS ⇒ 01SS ⇒ 01S0S1 ⇒ 01S00S11<br />
⇒ 0100S11 ⇒ 010011 ∈ Σ ∗ .<br />
Ersetzt man 0 durch ”<br />
(“ <strong>und</strong> 1 durch ”<br />
)“, ist dies das Wort ()(()). Tatsächlich kann man<br />
zeigen, daß L(G) gerade die Menge aller korrekten Klammerausdrücke ist.<br />
2.1.8 Beispiel Betrachte G = (V, Σ, S, P ) mit V = {S}, Σ = {0, 1}; P enthält die<br />
folgenden Produktionen:<br />
(1) S → ε<br />
(2) S → 0S1.<br />
Eine typische Ableitung:<br />
S ⇒ 0S1 ⇒ 00S11 ⇒ 000S111 ⇒ 000111.<br />
Man sieht recht leicht: L(G) = {0 n 1 n | n ≥ 0}.<br />
2.2 Rechtslineare Grammatiken <strong>und</strong> reguläre <strong>Sprachen</strong><br />
Mit kontextfreien <strong>Sprachen</strong> beschäftigen wir uns ausführlich in den beiden folgenden Kapiteln.<br />
Wir betrachten zuvor noch einen engeren Grammatiktyp.<br />
2.2.1 Definition (a) Sei G Grammatik. Eine Produktion l → r heißt rechtslinear, falls<br />
l ∈ V <strong>und</strong> r = aB für a ∈ Σ, B ∈ V oder r = ε ist. (In r steht die Variable rechts.)<br />
Beachte: Rechtslineare Produktionen sind kontextfrei.<br />
(b) Eine Grammatik G heißt rechtslinear, wenn alle ihre Produktionen rechtslinear sind<br />
(kurz: P ⊆ V × (ΣV ∪ {ε})). Rechtslineare Grammatiken heißen auch Chomsky-3-Grammatiken<br />
oder Typ-3-Grammatiken.<br />
(c) L 3 ist die Klasse aller <strong>Sprachen</strong> L, für die gilt: L = L(G) für eine rechtslineare<br />
Grammatik G.<br />
69