19.11.2014 Aufrufe

Inhaltsverzeichnis - Automaten und Formale Sprachen

Inhaltsverzeichnis - Automaten und Formale Sprachen

Inhaltsverzeichnis - Automaten und Formale Sprachen

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!