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*
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ě.