Follow集合
Follow 集合的定义：给出一个非终结符A ，那么集合 Follow (A)则是由终结符组成，此外可能还有$。集合 Follow (A) 的定义如下：
（1）若 A 是开始符号，则$就在 Follow (A) 中。
（2）若存在产生式B →aAg ，则First (g) - { }在 Follow (A) 中。
（3）若存在产生式B →aAg ，且在 First (g) 中，则 Follow (A)包括 Follow (B)。
首先检查这个定义的内容，之后为由此引出的 Follow 集合的计算写出算法。读者首先应注意到用作标记输入结束的“ $”，它就像是 Foll ow 集合计算中的一个记号。若没有它，那么在整个被匹配的串之后就没有符号了。由于这样的串是由文法的开始符号生成的，所以$必须总是要增加到开始符号的 Follow 集合中。