Greibach normal form

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf formal grammar normal form
gptkbp:abbreviation GNF
gptkbp:application parsing algorithms
gptkbp:defines A context-free grammar is in Greibach normal form if all production rules are of the form A → aα, where a is a terminal and α is a (possibly empty) string of nonterminals.
https://www.w3.org/2000/01/rdf-schema#label Greibach normal form
gptkbp:introducedIn 1965
gptkbp:namedAfter gptkb:Sheila_Greibach
gptkbp:property In GNF, the right-hand side of every production starts with a terminal symbol.
Every context-free grammar can be converted to an equivalent grammar in Greibach normal form.
gptkbp:relatedTo gptkb:Chomsky_normal_form
gptkbp:usedIn context-free grammar
gptkbp:bfsParent gptkb:context-free_grammar
gptkbp:bfsLayer 5