Достижимый нетерминал

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

$$S{\Rightarrow }^{\ast }\alpha A\beta ,\alpha ,\beta \in (\Gamma \cup \Sigma {)}^{\ast }$$