语法问题，FIRST 问题

Question

考虑以下语法：

A → BC
B → Ba | epsilon
C → bD | epsilon
D → …
…

这里的问题是规则B 可以派生epsilon 和左递归。

为了找到FIRST(A)，我正在搜索FIRST(B)。
但我坚持使用FIRST(B)，因为它是左递归的。

那么FIRST(B) 是什么？还有FIRST(A)?
我的版本是：

FIRST(B) → {a, epsilon}
FIRST(A) → {a, b, epsilon}

对吗？

Answer 1

是的，你没看错。左递归对 FIRST 没有贡献，因为当 Ba 与 B 匹配时，Ba 中的 B 必须以 B 可以开始的东西开头 - 因为它是 B，之后全部。 :)

您也可以先考虑左递归。