Eine kontextfreie Grammatik ist in Chomsky-Normalform, wenn alle Produktionen die Formen
haben, ggf. zusätzlich S→εS\to\varepsilonS→ε.