Алгоритм. Построение множества аннулирующих нетерминалов

Построение множества аннулирующих нетерминалов

(4) в силу конечности множества $\Gamma$. В худшем случае $\sigma$ совпадет с $\Gamma$.

Доказательство, что построенное множество это реально множество аннулирующих нетерминалов

Докажем, что $\sigma =Ann(G)$

$\sigma \subseteq Ann(G)$

$Ann(G)\subseteq \sigma$

---

Связанные определения/теоремы/следствия/утверждения:

• Контекстно-свободная грамматика
• Аннулирующий нетерминал