Нормальная форма Хомского

Говорят, что контекстно-свободная грамматика $G=(\Gamma ,\Sigma ,P,S)$ находится в нормальной форме Хомского, если $G$ эпсилон-свободная и каждое ее правило вывода имеет один из 2 видов:

• $A\to BC,A,B,C\in \Gamma$
• $A\to \alpha ,A\in \Gamma ,\alpha \in \Sigma$