Изменения
→Достижимые и недостижимые нетерминалы
{{Определение
|definition=
Нетерминал <tex>A</tex> называется '''достижимым''' в КС-грамматике <tex>\Gamma</tex>, если существует порождение <tex>S \Rightarrow^* \alpha A \beta</tex>. Иначе он называется '''недостижимымнепостижимым'''.
}}
Недостижимые нетерминалы по определению не достижимы из стартового, следовательно они не могли участвовать в выводе какого-либо слова.
}}
== Полезные и бесполезные нетерминалы ==
