Chomského normální forma (CNF)
Definice: Nechť G = (N, T, P, S) je BKG.
G je v Chomského normální formě, pokud každé pravidlo z P má jeden ze tvarů:
• A ® BC, kde A, B, C Î N;
• A ® a, kde A Î N, a Î T;
Příklad:
G = (N, T, P, S), kde N = {A, B, C, S}, T = {a, b},
P = {S ® CB, C ® AS, S ® AB, A ® a, B ® b}, je v Chomského normální formě.
Pozn.: L(G)  = {anbn: n ³ 1}
2/31