Greibachové normální forma (GNF)
Definice: Nechť G = (N, T, P, S) je BKG.
G je v Greibachové normalní formě, pokud každé pravidlo z P má následující tvar:
• A ® ax, kde A Î N, a Î T, x Î N*
Příklad:
G = (N, T, P, S), kde N = {B, S}, T = {a, b},
P = {S ® aSB, S ® aB, B ® b}
je v Greibachové normální formě.
Pozn.: L(G)  = {anbn: n ³ 1}
3/31