Изменения

|definition = Правила вида <tex>A \to \varepsilon</tex> называются '''<tex>\varepsilon</tex>-правилами'''.

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

|definition = Нетерминал <tex>A</tex> называется '''<tex>\varepsilon</tex>-порождающим''', если <tex>A \overset{Rightarrow^*}{\Rightarrow} \varepsilon</tex>.