153
правки
Изменения
Нет описания правки
}}
{{Теорема
|id=th1
|statement=
Исключить бесполезные символы из грамматики можно удаляя правила, содержащие вначале непроизводящие, а затем недостижимые символы.
|proof=
Любой терминальный символ является генерирующим.
Пусть <tex>A \rightarrow \alpha</tex> и известно, что <tex>\alpha</tex> состоит только из генерирующих символов, тогда <tex>A</tex> - генерирующий символ.
Если <tex>\alpha = \epsilon</tex>, тогда <tex>A</tex> также генерирующий символ.
}}
