Encyclopedia > Greibach normal form

  Article Content

Greibach normal form

A context-free grammar is in Greibach normal form (GNF) iff all production rules are of the form:
A -> αX
where A is a nonterminal symbol, α is a terminal symbol and X is (possibly empty) sequence of nonterminal symbols.

No grammar in GNF can generate the null string. Conversely, every context-free grammar which does not generate the null string can be transformed into an equivalent grammar in Greibach normal form. This can be used to prove that every context-free language can be accepted by a non-deterministic pushdown automaton.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
1904

... (+ 1983) January 26 - Ancel Keys, scientist February 1 - S. J. Perelman[?], humorist, author February 4 - MacKinlay Kantor[?], historian (+ 1977) February ...

 
 
 
This page was created in 37.6 ms