Следствие из теоремы об удалении цикла в эпсилон-свободной грамматике:
Формулировка
Для любой КС-грамматики существует эквивалентная ей приведенная (теорема), эпсилон-свободная (теорема) ацикличная (теорема) грамматика.
Доказательство
В силу операций, которые производятся для удаления циклов по теореме (появляется новый нетерминал, который не может порождать новые циклы, только участвовать в старых, еще не разрешенных, которые в грамматике присутствовали до удаления рассматриваемого цикла). Новые не могут появиться, при этом изначально циклов конечное множество