|definition = Правила вида <tex>A \to \varepsilon</tex> называются '''<tex>\varepsilon</tex>-правилами'''.
}}
{{Определение
|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>.
