Аннулирующий нетерминал

Нетерминал $A\in \Gamma$ грамматики $G=(\_,\Sigma ,\_,\_)$ называется аннулирующим, если существует вывод:

$$A{\Rightarrow }^{\ast }\epsilon$$

Множество аннулирующих нетерминалов грамматики обозначается:

$$Ann(G)$$