Производящий нетерминал

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

$$A{\Rightarrow }^{\ast }w,w\in {\Sigma }^{\ast }$$