语法依循说明

Question

我在看下面这个简单的语法和与之配套的表：

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

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

可能有人请解释为什么B，但不是一个，是在后续集合T的？

Answer 1

就拿如何第一，并按照集合计算一个很好的解释一下here。

为后续集的第三个规则适用于当你计算如下（T）（因为T是只出现在第一生产和之后没有如下）。然后你会把Follow（S）中的所有内容放在Follow（T）中。

关注（S）= {B}，然后按照（T）= {B}。

我认为在后续（S）也应该是$（或ε）如果S是你的语法的开始符号。