为何《编译原理》龙书将标识符拼写错误归类为词法错误？

你对编译阶段错误检测的常规认知是准确的：ellipseSize 和 elipseSize 都符合绝大多数编程语言的标识符构词规则，正常词法分析流程中，两者都会被识别为合法的标识符Token，elipseSize 未定义的问题确实需要到语义分析阶段才能检测到。

龙书将这类拼写错误归为词法错误，是基于广义的「词法阶段可识别错误」分类口径，和你理解的狭义「违反词法构词规则才是词法错误」的分类标准存在差异，具体原因可以分为三点：

• 上下文前提差异：龙书举这个例子的场景通常是讨论词法分析器的错误恢复能力，默认存在已知的合法词素基准——比如 ellipseSize 是当前语言的内置关键字、或者预定义的全局标识符，此时和基准只有1个字符差异的 elipseSize 可以被词法分析器通过最小编辑距离匹配直接识别为拼写错误，不需要流转到后续阶段。
• 错误归类口径差异：很多编译原理教材对词法错误的定义是「所有能在词法扫描阶段发现的错误」，而非仅「违反词法规则的错误」。这类和合法词素高度相似的拼写错误可以在词法阶段提前检出，因此被归入了词法错误的范畴，属于分类逻辑的不同，不存在定义冲突。
• 工程实现的常见设计：实际工业界的编译器词法分析器大多会内置简单的拼写校验逻辑，当扫描到一个未匹配到关键字/预定义标识符的合法标识符时，会自动比对现有合法标识符列表，如果存在编辑距离≤2的匹配项，会直接在词法阶段抛出拼写提示/错误，从工程实现的角度，这类错误也被算作词法阶段产出的错误。

补充说明：如果不存在预定义的基准标识符，只是普通用户自定义的标识符拼写错误，这种情况确实不属于狭义的词法错误，龙书的归类是特定语境下的表述，不需要和严格的编译阶段划分绑定理解。

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