「TKK-Thinking」关于Follow Set的思考

ABOUT:    编译原理-Follow_Set

通过直觉,我们获得了以下关于 Follow(X) 的求值方式。

  • X $\rightarrow$ AB
    Follow(X) $\subseteq$ Follow(B)

不过 Follow(X) $\subseteq$ Follow(B) 这个式子看起来并不是这么的符合直觉,按照之前思考First set的思维惯性,会进行猜想 Follow(B) $\subseteq$ Follow(X),因为只要将 B 继续推导,那么 B 之后的就一定是 X 之后的。

但实际上猜想是错误的,其原因在于, 在思考时忽略了Follow(X)的实际概念

其中的 Follow(X) 是由 S 推导而来的,换言之 Follow(X) 受到 开始符号-S 的限制
即可能会存在由 S 直接推得 S $\rightarrow$ …Bw…,w $\in$ Follow(B) 但 w$\notin$ Follow(X),所以猜想错误。
另外继续思考可以发现,在此情况下: Follow(X) $\subset$ Follow(B).



--------------------------END--------------------------
喜欢的话,不妨请我喝杯奶茶(≧∇≦)ノ