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