Теорема. О существовании для контекстно-свободной грамматики грамматики в нормальной форме Хомского

Для любой КС-грамматики существует эквивалентная ей грамматика в НФХ

Доказательство

Следует из леммы