如何判定一个文法是 LL(1)文法？

要判定一个文法是否是LL(1)文法，需要进行以下步骤：

1. 对该文法进行消除左递归和提取公因子的操作。
2. 构造出该文法的预测分析表。
3. 检查预测分析表是否满足LL(1)文法的定义：对于每个非终结符A和每个终结符a，都至多有一个产生式A → α，使得FIRST(α) ∩ FIRST(a) ≠ ∅，或者有一个产生式A → ε，且FOLLOW(A) ∩ FIRST(a) ≠ ∅。

如果预测分析表满足上述定义，那么该文法就是LL(1)文法。否则，就不是LL(1)文法。