Изменения

|definition = Назовем [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|КС грамматику]] <tex>G=(N,\Sigma, P, S)</tex> '''грамматикой без <tex>\varepsilon</tex>-правил (или неукорачивающей)''', если :#<tex>P</tex> не содержит <tex>\varepsilon</tex>-правил или #есть точно одно <tex>\varepsilon</tex>-правило <tex>S \to \varepsilon</tex> , и <tex>S</tex> не встречается в правых частях остальных правил из <tex>P</tex>.