Kontextfreie Sprachen & Kellerautomaten
Kontextfreie Sprachen & Kellerautomaten
Kontextfreie Sprachen & Kellerautomaten
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]