31.01.2014 Aufrufe

Kontextfreie Sprachen & Kellerautomaten

Kontextfreie Sprachen & Kellerautomaten

Kontextfreie Sprachen & Kellerautomaten

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Mehrdeutigkeit (Ambiguität)<br />

Definition 13.5<br />

Eine Zeichenkette w ist mehrdeutig, bzw. wird durch eine kfG G mehrdeutig<br />

abgeleitet, falls w zwei (oder mehr) verschiedene Linksableitungen besitzt.<br />

Eine Grammatik G ist mehrdeutig, falls es Wörter w ! L(G) gibt, die mehrdeutig sind.<br />

a + a ( a ! L(G 4 )<br />

&EXPR' ) lm &EXPR' + & EXPR '<br />

) lm a + &EXPR'<br />

) lm a + &EXPR' ( & EXPR '<br />

) lm a + a ( & EXPR '<br />

) lm a + a ( a<br />

ist eine Linksableitung<br />

# Die Grammatik G 4 ist mehrdeutig.<br />

FGI-1 Habel / Eschenbach Kap 13 <strong>Kontextfreie</strong> <strong>Sprachen</strong> & Grammatiken [9]<br />

Zum Selbststudium: Arithmetische Ausdrücke in L(G3)<br />

G 3 = (!, N, P, &EXPR') ! = { a, + , (, (, ) } N = {&EXPR', &TERM', &FACTOR'}<br />

P = { &EXPR' # &EXPR' + &TERM' | &TERM',<br />

&TERM' # &TERM' ( &FACTOR' | &FACTOR',<br />

&FACTOR'# ( &EXPR' ) | a }<br />

&EXPR' ) lm &EXPR' + &TERM'<br />

) lm &TERM' + &TERM'<br />

) lm &FACTOR' + &TERM'<br />

) lm a + &TERM'<br />

) lm a + &TERM' ( &FACTOR'<br />

) lm a + &FACTOR' ( &FACTOR'<br />

) lm a + a ( &FACTOR'<br />

) lm a + a ( a<br />

ist eine Linksableitung<br />

FGI-1 Habel / Eschenbach Kap 13 <strong>Kontextfreie</strong> <strong>Sprachen</strong> & Grammatiken [10]

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!