O bezkontextové gramatice $G=(V,T,P,S)$ bez zbytečných symbolů kde jsou všechna pravidla v jednom ze dvou tvarů \begin{itemize} \item $A\rightarrow BC$, $A,B,C\in V$, \item $A\rightarrow a$, $A\in V$, $a\in T$, \end{itemize} říkáme, že je v \pojem{Chomského normálním tvaru (ChNF)}.