Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kontextfreie Sprachen<br />
Deterministisch kontextfreie Sprachen<br />
Definition<br />
Unter einem Parser für eine kfG G versteht man ein Programm, das die<br />
Zugehörigkeit eines Worts w zu L(G) entscheidet, indem es einen<br />
Ableitungsbaum konstruiert.<br />
Wir sind natürlich vorrangig an deterministischen Parsern interessiert.<br />
Definition<br />
Unter einer LR(k)-Grammatik G versteht man eine kfG, für die ein<br />
deterministischer Parser existiert, der für jedes w ∈ L(G) in einem<br />
Durchlauf von links eine Rechtsableitung von w erzeugt und dabei<br />
höchstens k Symbole im Voraus liest.<br />
Definition<br />
Eine kontextfreie Sprache heißt LR(k)-Sprache, wenn sie von einer<br />
LR(k)-Grammatik erzeugt werden kann.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 177 / 191
Change language