LL(1)分析表存在空列是否说明构建错误或文法不属于LL(1)？

LL(1)分析表中存在空白单元格是正常情况，既不代表表格构建错误，也不直接代表文法不属于LL(1)文法。

• 判定文法是否为LL(1)的核心依据是分析表中是否存在同一单元格被多个产生式填充的冲突，和是否有空白单元格无关。这些空白单元格对应的是语法错误场景：当栈顶的非终结符遇到对应列的输入终结符时，没有合法的产生式可以推导，直接判定输入串不符合文法规则即可。
• 如果你怀疑是表格构建有误，可以按以下步骤排查：
  1. 先确认文法已经完成前置处理：消除了左递归、提取了公共左因子，这是构造正确LL(1)分析表的前提，未处理的左递归或公共左因子会导致FIRST集、FOLLOW集计算错误，出现多余空白。
  2. 核对FIRST集、FOLLOW集的计算结果：尤其注意包含空产生式的非终结符，其FOLLOW集是否有遗漏的终结符。
  3. 核对产生式填入规则是否正确：对任意产生式A→α，需要将该产生式填入A行、所有属于FIRST(α)的终结符列中；如果ε ∈ FIRST(α)，还需要额外将该产生式填入A行、所有属于FOLLOW(A)的终结符列中，这一步遗漏会导致出现不必要的空白单元格。
• 排查后如果没有计算错误，这些空白单元格就是分析表的正常组成部分，不需要额外填充，语法分析时遇到对应组合直接报错即可。

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