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
Museums in England

... Colliery Museum[?], Tyldesley[?] British Commercial Vehicle Museum[?], Leyland[?] London British Museum Imperial War Museum -- see also Manchester The Londo ...

This page was created in 47.5 ms