LL(1)文法解析器中为什么需要引入FOLLOW集？

FOLLOW集并非冗余，其作用也不局限于错误处理，你提到的场景是文法不符合LL(1)要求的特殊情况，不能覆盖所有合法LL(1)文法的解析需求。

我们先回顾LL(1)解析的核心候选式选择逻辑：

• 预读标记流的首个token，如果属于某候选式的FIRST集，直接选择该候选式
• 如果存在可空候选式（FIRST集包含ε），且预读token不属于任何非空候选的FIRST集，就需要校验预读token是否在该非终结符的FOLLOW集中：
  • 是：选择ε产生式继续推导
  • 否：直接判定为语法错误

你给出的示例本身不满足LL(1)文法前提 #

你提到的非LL(1)文法如下：

B : A term
A : N1 | N2
N1 :
N2 :

这个文法里非终结符A有两个可空候选，两个候选的FIRST集都是{ε}，本身存在交集，不符合LL(1)文法的判定要求。这种场景下不管有没有FOLLOW集都无法确定候选式，不是FOLLOW集失效，是文法本身就不支持LL(1)解析。

FOLLOW集是解析逻辑的必要组成，并非冗余 #

你提到的「仅存在一个可空候选式就可以直接选ε」的结论成立的前提是：当前预读token确实属于该非终结符的FOLLOW集。如果没有FOLLOW集做校验，你无法区分「预读token合法，可以选ε」和「预读token非法，属于语法错误」两种场景。

举个合法LL(1)文法的例子：

S : A b
A : 'a' | ε

非终结符A只有一个可空候选，当预读token是b时，它不在A的非空候选FIRST集（{'a'}）里，但属于FOLLOW(A)={'b'}，所以可以安全选择ε产生式；如果预读token是c，它既不在非空候选FIRST集里，也不在FOLLOW(A)里，属于语法错误，不能随便选ε。如果没有FOLLOW集，你要么会把c误判为合法，错误选ε导致后续解析全部错位，要么会把合法的b误判为错误，影响正常解析。

FOLLOW集的两个核心作用 #

• 解析分支选择的必要依据：对符合LL(1)要求的文法，当存在ε产生式时，判断是否可以选择ε产生式，是解析逻辑的核心组成，完全不是冗余的
• 错误提前判定：当预读token既不命中非空候选FIRST集，也不在FOLLOW集里时，可以直接抛出语法错误，避免错误向后传递，提升排查效率

内容的提问来源于stack exchange，提问作者kp2pml30