DrLuffy的博客

因此 FOLLOW(A) = {#, b, c} FOLLOW(B)：产生式 A → bBa，B 后跟 a，所以 a ∈ FOLLOW(B)；冲突状态可能在 I2：S → A· 是归约项目，A → A·b 是移进项目（点后 b）。I1 = goto(I0, S) = {S’ → S·} I2 = goto(I0, A) = {S → A·, A → A·b} I3 = goto(I0, b) = {A → b·Ba, B → ·aAc, B → ·a, B → ·aAb} 等 ……

本文系统介绍了LL(1)文法的判定与分析方法。首先阐述了LL(1)文法的定义特征：从左到右扫描、最左推导、向前查看1个符号。通过对比示例展示了LL(1)文法与非LL(1)文法的关键区别。其次详细讲解了First集和Follow集的计算方法、LL(1)文法的三个判定条件：无左递归、产生式First集不相交、空串产生式的特殊条件。最后通过具体案例演示了LL(1)分析表的构造过程，以及如何通过改写文法（消除左递归、提取左因子）使其满足LL(1)条件。