考虑一下简短的语法
S -> Bc | DB B -> ab | cS D -> d | epsilon
第一组是
FIRST(S) ={a,c,d}
FIRST(B) = { a,c }
FIRST(D)= { d,epsilon }
在它里面
Follow(S)={ Follow(B) }
和
Follow(B) ={ c,Follow(S) }
我的问题是如何解决这个循环依赖？
解决方法
这种循环依赖不应该从那里开始.这是找到’follow’的算法：
初始化所有关注组到{},除了S是init到{$}.
虽然有变化,但每个A∈V都有：
对于每个Y→αAβ做：
跟随(A)=跟随(A)∪第一(β)
如果β⇒*ε,也可以：跟随(A)=跟随(A)∪跟随(Y)
所以在你的情况下,你应该得到：按照(S)= {C,$}跟随(B)= {C,$}按照(d)= {A,C}
