Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kontextfreie Sprachen<br />
Deterministisch kontextfreie Sprachen<br />
Die folgenden Ergebnisse werden sicherlich in anderen praxisorientierten<br />
Vorlesungen angesprochen werden:<br />
Satz<br />
Die Klasse der deterministisch kontextfreien Sprachen ist die Vereinigung<br />
der Klassen aller LR(k)-Sprachen mit k ∈ N .<br />
Satz<br />
Für jedes k ∈ N ist die Klasse der LR(k)-Sprachen in der Klasse der<br />
LR(1)-Sprachen enthalten. Damit entspricht letztere der Klasse der<br />
deterministisch kontextfreien Sprachen.<br />
LR(1)-Sprachen erlauben einen tabellen-basierten Anzatz zum<br />
deterministischen Parsen; leider können diese Tabellen unpraktikabel groß<br />
werden.<br />
Eine eingeschränkte Klasse läßt sich aber mit sogenannten LARL-Parsern<br />
(lookahead LR-Parsern) effizient behandeln, und dies schließt fast alle in<br />
der (<strong>Informatik</strong>-) Praxis relevanten Sprachen ein.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 178 / 191
Change language