parsing - Grammar Follow Set Explanation

Question

I'm looking at the following simple grammar and its accompanying table:

S-> aSbT | epsilon
T-> bFaF | epsilon
F-> epsilon

nonterminal first set   follow set  
S           a           b                                      
T           b           b
F           ∅          a b  

Could someone please explain why b, but not a, is in the follow set of T?

Answer 1

看看这里，了解如何计算 first 和 follow 集的一个很好的解释。

当您计算 Follow(T) 时，遵循集合的第三条规则适用（因为 T 仅出现在第一个产生式中，之后没有任何内容）。然后，您将把 Follow(S) 中的所有内容放在 Follow(T) 中。

跟随(S) = {b}，然后跟随(T) = {b}。

如果 S 是语法的起始符号，我认为在 Follow(S) 中也应该是 $ （或 epsilon）。