为所有非终结符创建 FIRST 和 FOLLOW 集

Question

如果有人可以帮助我了解 FIRST 和 FOLLOW 集的规则，那就太棒了。

问题是计算以下语法中所有非终结符的 FOLLOW 集

S ::= S b T a E ¦ a T b ¦ c T a c     R ::= E T ¦ a E

T ::= a c E ¦ epsilon                 E ::= R ¦ T a d ¦ epsilon

我已经阅读了创建跟随集的规则并理解了基本示例，但是当我为此编写 FIRST(S) 时，我对我应该做什么感到困惑

任何帮助将不胜感激。

Answer 1

您说的是 FIRST1 套装吗？您只需构建一组所有非终结符，这可能位于派生的开头。

考虑 S 的右侧：S 的每个推导都以 S、a、c 开头，因此 FIRST1(S) = FIRST1(S) 并集 {a, c} = {a, c}。