17 Beziehungen: Ableitung (Informatik), Alfred V. Aho, Compilerbau, Formale Grammatik, Formale Sprache, Gustav Pomberger, Inhärent mehrdeutige Sprache, Jeffrey Ullman, Kontextfreie Grammatik, LR-Parser, Nichtterminalsymbol, Peter Rechenberg, Produktionsregel, Rechtsreduktion, Syntaxbaum, Theoretische Informatik, Wort (theoretische Informatik).
Ableitung (Informatik)
Als Ableitung wird in der theoretischen Informatik der Vorgang bezeichnet, ein Wort nach den Regeln einer formalen Grammatik zu erzeugen.
Neu!!: Rechtsableitung und Ableitung (Informatik) · Mehr sehen »
Alfred V. Aho
Alfred Vaino Aho (* 9. August 1941 in Timmins, Ontario, Kanada) ist ein kanadischer Informatiker.
Neu!!: Rechtsableitung und Alfred V. Aho · Mehr sehen »
Compilerbau
Compilerbau, deutsch Übersetzerbau, ist eine Disziplin der Informatik, die sich mit dem Entwurf und der Programmierung von Compilern, die einen Quelltext in einen Zielcode umsetzen, beschäftigt.
Neu!!: Rechtsableitung und Compilerbau · Mehr sehen »
Formale Grammatik
Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.
Neu!!: Rechtsableitung und Formale Grammatik · Mehr sehen »
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Neu!!: Rechtsableitung und Formale Sprache · Mehr sehen »
Gustav Pomberger
Gustav Pomberger (* 27. Mai 1949 in Gosau, Österreich) ist ein österreichischer Informatiker.
Neu!!: Rechtsableitung und Gustav Pomberger · Mehr sehen »
Inhärent mehrdeutige Sprache
Eine formale Sprache L heißt inhärent mehrdeutige Sprache, wenn jede formale Grammatik G mit L \left(G \right).
Neu!!: Rechtsableitung und Inhärent mehrdeutige Sprache · Mehr sehen »
Jeffrey Ullman
Jeffrey David Ullman (* 22. November 1942 in New York City) ist ein US-amerikanischer Informatiker.
Neu!!: Rechtsableitung und Jeffrey Ullman · Mehr sehen »
Kontextfreie Grammatik
In der Theorie der formalen Sprachen ist eine kontextfreie Grammatik (CFG) eine formale Grammatik, die nur solche Ersetzungsregeln enthält, bei denen immer genau ein Nichtterminalsymbol auf eine beliebig lange Folge von Nichtterminal- und Terminalsymbolen abgeleitet wird.
Neu!!: Rechtsableitung und Kontextfreie Grammatik · Mehr sehen »
LR-Parser
Im Compilerbau ist ein LR-Parser ein Bottom-up-Parser für LR-Grammatiken.
Neu!!: Rechtsableitung und LR-Parser · Mehr sehen »
Nichtterminalsymbol
Ein Nichtterminalsymbol (auch Nichtterminal, Nonterminalsymbol oder Variable genannt) einer formalen Grammatik ist ein Symbol, das nicht in den endgültigen Wörtern vorkommt, die in der Grammatik erzeugt werden können.
Neu!!: Rechtsableitung und Nichtterminalsymbol · Mehr sehen »
Peter Rechenberg
Peter Rechenberg Peter Rechenberg (* 18. Juli 1933 in Berlin) ist deutsch-österreichischer Informatiker.
Neu!!: Rechtsableitung und Peter Rechenberg · Mehr sehen »
Produktionsregel
Eine Produktionsregel (auch Regel, Produktion oder Ersetzungsregel genannt) ist in der Theorie formaler Grammatiken eine Regel, die angibt, wie aus Wörtern durch eine Grammatik neue Wörter bzw.
Neu!!: Rechtsableitung und Produktionsregel · Mehr sehen »
Rechtsreduktion
Rechtsreduktion ist ein Begriff aus der Theoretischen Informatik und bezeichnet eine umgedrehte Rechtsableitung.
Neu!!: Rechtsableitung und Rechtsreduktion · Mehr sehen »
Syntaxbaum
Ein Syntax-, Ableitungs- oder Parsebaum ist ein Begriff aus der theoretischen Informatik und der Linguistik.
Neu!!: Rechtsableitung und Syntaxbaum · Mehr sehen »
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.
Neu!!: Rechtsableitung und Theoretische Informatik · Mehr sehen »
Wort (theoretische Informatik)
In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen eines Alphabets.
Neu!!: Rechtsableitung und Wort (theoretische Informatik) · Mehr sehen »