Greibach normální forma

kontext-uvolnit gramatiku je v Greibach normální formě (GNF) iff všechna pravidla výroby jsou formy:

A -> a alpha; X

kde je symbol nonterminal, a alpha; je symbol terminálu a X je (možná prázdný) sled nonterminal symboly.

Žádná gramatika v GNF může tvořit prázdný řetězec. Naopak, každý kontext-volná gramatika, která netvoří prázdný řetězec může být transformována do gramatiky ekvivalentu v Greibach normální formě. Toto může být používáno se ukázat jako to každý kontext-uvolnit jazyk moci být přijat non-deterministický automat pushdown.

Greibach normální forma je jmenována pro Sheilu Greibach (1939-), kdo je současně profesor Informatiky u Univerzita Kalifornie, Los Angeles.