FIRST/FOLLOW 集是编译原理中语法分析阶段的重要工具，主要用于自顶向下语法分析（如 LL(1) 分析）

FIRST/FOLLOW 集是编译原理中语法分析阶段的重要工具，主要用于自顶向下语法分析（如 LL(1) 分析）。它们帮助我们确定在给定上下文中应选择哪个产生式进行推导。

• FIRST 集：对于一个符号串 α，FIRST(α) 表示从 α 可能推导出的所有以终结符开头的集合。若 α 可推出 ε（空串），则 ε 也属于 FIRST(α)。在预测分析中，它用于判断某个产生式是否可以“启动”当前输入。

• FOLLOW 集：对于一个非终结符 A，FOLLOW(A) 是在某些句型中紧跟在 A 后面的终结符集合。如果 A 可能在句尾出现，则输入结束符 # 也在 FOLLOW(A) 中。它在处理形如 A → α 的产生式且 α 可推导出 ε 时起关键作用——此时需要用 FOLLOW(A) 来决定是否应用该规则。

在你提供的示例中：

• FIRST(E) = FIRST(T) = FIRST(F) = { (, i }，说明这些非终结符都只能从左括号 “(” 或标识符 “i” 开始推导；
• FOLLOW(E) = FOLLOW(E') = { # }，表示 E 和 E’ 后只能跟输入结束符，意味着它们出现在表达式的末尾。

递归下降分析法是一种手工构造的自顶向下分析方法，为每个非终结符编写一个对应的递归函数。其优点是逻辑清晰、易于理解；缺点是难以维护，文法变更后代码必须手动同步修改，且不能处理左递归。

预测分析法则是自动化的自顶向下分析方法，使用一张预测分析表（M[A,a]）来指导分析过程。该表通过 FIRST 和 FOLLOW 集构建：

• 对于每个产生式 A → α：
  • 将 A → α 填入 M[A, a]，其中 a ∈ FIRST(α)；
  • 若 ε ∈ FIRST(α)，则还需将该产生式填入 M[A, b]，其中 b ∈ FOLLOW(A)。

只有当预测分析表中每个条目最多只有一个产生式时，文法才是 LL(1) 文法。这要求：

1. 没有二义性；
2. 不含左递归；
3. 所有选择的 FIRST 集互不相交；
4. 如果某产生式可推出 ε，则其 FIRST 与 FOLLOW 集也不冲突。

这类知识属于编译原理中的“语法分析”模块，是构建编译器前端的核心内容之一。LL(1) 分析广泛应用于教学和简单语言解析器的设计中。