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 />
Normalformen und Anwendungen<br />
Die Einsicht von Lange und Leiß besteht darin, zwei für die Schritte (Del)<br />
und (Unit) nötigen Hilfsergebnisse statt zur Grammatikumwandlung<br />
direkt beim CYK-Algorithmus einzusetzen.<br />
Darüberhinaus erweist sich der Schritt (Term) als überflüssig, also bleibt<br />
einzig (Bin) übrig, was die Grammatik nur linear vergrößern kann.<br />
Liegt G schon in CNF −ε oder CNF vor, kann der CYK-Algorithmus wie<br />
bisher direkt angewendet werden: die Berechnung der Hilfsergebnisse<br />
erübrigt sich (nicht so im Fall einer allgemeinen 2NF Grammatik).<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 138 / 191
Change language