Compute the First and Follow sets for the following grammar.
S ← TS | a
T ← UVb | ε
U ← V | ca | ε
B ← aUb | c
已经知道:
First(S) = {a,c}
First(T) = {a,c,ε}
First(U) = {a,c,ε}
First(V) = {a,c}
Follow(S) = {$}
Follow(T) = {a,c,$}
Follow(U) = {a,c,b}
Follow(V) = {a,b,c}
我想问为什么 Follow(V) 中有 a 和 c 呢?
我看 Aho 的 Compiler Principle.. 那本
他说 Follow set 的计算有三个规则:
1. 将 $ 放到 Follow(S) 中，其中 S 是 start symbol
2. 如果存在一个 production A→αBβ
则 First(β) 中除了ε之外的所有符号都在Follow(B)中
3. 如果存在一个 production A→αB
或 A→αBβ且 First(β)包含ε
则 Follow(A)中所有符号都在Follow(B)中