语法跟随集解释

Question

我正在查看以下简单语法及其附表：

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

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

有人可以解释为什么b，但不是a，在T的后续集合中？

Answer 1

查看here，了解如何计算第一组和跟随集。

计算Follow（T）时，Follow sets的第三条规则适用（因为T仅出现在第一个生产中，后面没有任何内容）。然后你将把Follow（S）中的所有东西放在Follow（T）中。

关注（S）= {b}，然后关注（T）= {b}。

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