Множество FOLLOW от нетерминала

Пусть $G=(\Sigma ,\Gamma ,P,S)$ - КС-грамматика, $A\in \Gamma$

Множеством $FOLLOW(A)\subseteq (\Sigma \cup \{⊣\})$ называется множество такое что:

1. $a\in FOLLOW(A)\iff S{\Rightarrow }^{\ast }\alpha Aa\beta ,\alpha ,\beta \in (\Sigma \cup \Gamma {)}^{\ast },a\in \Sigma$
2. $⊣\in FOLLOW(A)\iff S{\Rightarrow }^{\ast }\alpha A,\alpha \in (\Sigma \cup \Gamma {)}^{\ast }$
3. Полагаем $⊣\in FOLLOW(S)$, поскольку можно считать, что $S{\Rightarrow }^{\ast }S$