205
правок
Изменения
м
→Основные определения
}}
{{Определение
|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^* } \varepsilon</tex>.
}}