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