编译原理--follow集

1、来自百度百科的定义：

集合 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 集合中。