Back Formal qrammatika Azerbaijani Formalna gramatika BS Gramàtica formal Catalan Formální gramatika Czech Τυπική γραμματική Greek Formal grammar English Formala gramatiko Esperanto Gramática formal Spanish Formaalne grammatika Estonian دستور صوری Persian
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.