语法题，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。 :)

您也可以先分解出左递归。