context-free-grammar – 如何在FOLLOW集中删除循环依赖

考虑一下简短的语法

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}