语法依循说明
问题描述:
我在看下面这个简单的语法和与之配套的表:语法依循说明
S-> aSbT | epsilon
T-> bFaF | epsilon
F-> epsilon
nonterminal first set follow set
S a b
T b b
F ∅ a b
可能有人请解释为什么B,但不是一个,是在后续集合T的?
答
就拿如何第一,并按照集合计算一个很好的解释一下here。
为后续集的第三个规则适用于当你计算如下(T)(因为T是只出现在第一生产和之后没有如下)。然后你会把Follow(S)中的所有内容放在Follow(T)中。
关注(S)= {B},然后按照(T)= {B}。
我认为在后续(S)也应该是$(或ε)如果S是你的语法的开始符号。