Formale Grammatik
Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen. Sie werden in der theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie, und im Compilerbau zum einen angewendet, um eindeutig festzulegen, ob ein Wort Element einer Sprache ist und zum anderen, um Eigenschaften dieser formalen Sprachen zu untersuchen bzw. zu beweisen. Formale Grammatiken werden mithilfe von Semi-Thue-Systemen angegeben in der Chomsky-Hierarchie klassifiziert.
Q486902
mathematische Modelle
Concept
Q8091
Grammatik
Concept
Q192161
formaler Sprache
Concept
Q2878974
theoretischen Informatik
Concept
Q818930
Berechenbarkeitstheorie
Concept
Q1121462
Compilerbau
Concept
Q2594083
Wort
Concept
Q1378504
Semi-Thue-Systemen
Concept
Q190913
Chomsky-Hierarchie
ORG
Q373045
Formale Grammatik
Concept
Q373045
Formale Grammatik
Concept
subclass of
part of
has quality
subclass of