Inhaltsverzeichnis
5 Beziehungen: Formale Grammatik, LR-Parser, Parser, Rechtsableitung, Theoretische Informatik.
Formale Grammatik
Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.
Sehen Rechtsreduktion und Formale Grammatik
LR-Parser
Im Compilerbau ist ein LR-Parser ein Bottom-up-Parser für LR-Grammatiken.
Sehen Rechtsreduktion und LR-Parser
Parser
Ein Parser („analysieren“, bzw. „Teil“; im Deutschen gelegentlich auch Zerteiler) ist ein Computerprogramm, das in der Informatik für die Zerlegung und Umwandlung einer Eingabe in ein für die Weiterverarbeitung geeigneteres Format zuständig ist.
Sehen Rechtsreduktion und Parser
Rechtsableitung
Eine Rechtsableitung (auch rechtskanonische Ableitung) ist in der Theoretischen Informatik eine Folge von Ableitungsschritten, bei der stets das am weitesten rechts stehende sogenannte Nichtterminalsymbol durch Anwendung einer Produktionsregel ersetzt wird.
Sehen Rechtsreduktion und Rechtsableitung
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Sehen Rechtsreduktion und Theoretische Informatik
Auch bekannt als Reverse Rechtsableitung.