→Преобразование грамматики в нормальную форму Хомского
{{Теорема
|statement=любую Любую контекстно-свободную грамматику можно преобразовать в нормальную форму Хомского.
|proof=
рассмотрим Рассмотрим [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободную грамматику]] <tex> \Gamma </tex>. Для преобразования ее в нормальную форму Хомского необходимо выполнить 5 шагов. На каждом шаге мы строим новую <tex> \Gamma_i </tex>, которая допускает тот же язык, что и <tex> \Gamma </tex>.
