3.6 二义文法的应用

思维导图：

二义文法的应用及其在编程语言中的重要性

编程语言的设计和实现涉及对语法和语义的精确定义，以确保代码的一致解析和执行。在这个过程中，文法（或语法规则的集合）扮演了核心角色。然而，并非所有文法都是直截了当的。本文探讨了二义文法的概念，以及它们如何被应用于解决编程语言设计中的特定问题，尤其是在处理算术表达式时。

什么是二义文法？

二义文法是指那些允许一个句子有多个不同的语法分析树的文法。这种多义性在语法分析过程中可能导致歧义，因为解析器可能无法确定采用哪一种结构来解释代码。尽管二义文法在理论上不属于LR文法类别，但它们在实践中有其独特的价值和应用。

二义文法的优势

简洁性和自然性

二义文法在定义某些语言构造时提供了比非二义文法更简洁、更自然的规范。例如，在编程语言中，算术表达式的二义文法可以更直接地反映人们编写和理解算术运算的方式。这种简洁性使得语言的学习和使用变得更加直观。

特殊情况的灵活处理

在某些情况下，为了在语法中引入对特定构造的特殊语义处理，可能需要添加额外的产生式规则。这些规则的添加虽然增加了文法的二义性，但也为语言的灵活性和表达能力提供了空间。

解决二义性的策略

尽管二义性在理论上是一个挑战，但在实践中，可以通过定义明确的规则来消除这种二义性，从而确保语句的唯一解释。特别是，可以通过引入算符的优先级和结合性规则来解决冲突，使得文法在保持其表达力的同时，仍然能够产生唯一的分析结果。

算符优先级和结合性

在处理包含如加法（+）和乘法（*）算符的算术表达式时，通过为这些算符定义优先级和结合性，可以有效地解决由二义文法引起的分析冲突。例如，通过规定乘法具有比加法更高的优先级，并且两者都采用左结合性，可以确保表达式id + id * id被正确地解析为先进行乘法运算，然后进行加法运算。

实际应用

表达式的分析

通过具体的例子来看，如何使用算符优先级和结合性来解决文法中的冲突。当分析器遇到id + id * id这样的表达式时，根据定义的规则，它会优先处理乘法运算，因为乘法算符的优先级高于加法算符。这种处理方式与人们对表达式的直观理解相吻合，展示了二义文法在实现语言分析器时的实用性。

冲突解决的例证

以id + id + id为例，算符的左结合性规定了在遇到连续的加法运算时，分析器应该如何进行归约。这种方法保证了表达式的连续部分按照预期的方式被解析，进一步强调了在设计分析器时引入优先级和结合性规则的重要性。

结论

虽然二义文法在理论分析中可能带来挑战，但它们在编程语言的设计和实现中扮演了不可或缺的角色。通过明智地应用算符的优先级和结合性规则，可以有效地解决由二义性引起的冲突，同时保持语言表达的自然性和直观性。这种平衡在推动编程语言的发展和优化中至关重要，确保了语言既易于理解，又具有强大的表达能力。

解决二义文法冲突：其他约定的应用

在编程语言和数学公式编排中，二义文法经常出现，带来了解析过程中的挑战。本节探讨了如何通过引入其他约定来解决这些冲突，确保语法的清晰和一致性。

悬空Else问题的解决

二义性的来源

在许多编程语言中，条件语句的语法规则如下：

stmt → if expr then stmt else stmt | if expr then stmt | other

这种形式的文法引起了所谓的悬空else问题，即当多个if语句嵌套使用时，不清楚else子句应该与哪个if语句匹配。这种二义性在语法分析时会导致移进-归约冲突。

约定的力量

通过采用一项简单但有效的约定——总是将else与最近的未匹配的if语句配对——可以解决这个问题。这意味着在遇到移进-归约冲突时，分析器会选择移进操作，优先与近邻的if语句配对else，从而消除了二义性。

特殊情况产生式的应用

EQN预处理器的例子

EQN预处理器中的数学公式编排是解决特殊情况产生式二义性的另一个有趣示例。在EQN中，使用sub和sup算符分别表示下标和上标，但文法如下所示未明确算符的结合性和优先级：

E → E sub E sup E | E sub E | E sup E | {E} | c

这导致了二义性，尤其是当尝试解析形式为E sub E sup E的表达式时。

解决方案

尽管通过规定sub和sup算符具有相同的优先级和都是右结合的，可以解决一部分二义性，但文法中的特殊情况产生式（如E sub E sup E）仍然需要特殊处理。这是因为如asubisup2这样的表达式应该以特定的格式排版，而不是其他可能的排版方式。

为了解决这个问题，当遇到特殊情况产生式引起的归约-归约冲突时，应优先考虑这些特殊情况。这样做确保了与这些特殊情况产生式相关联的语义动作能够采取更专门的措施来生成正确的输出格式。

构造无二义文法的挑战

尽管优先考虑特殊情况产生式是解决二义性的一种方法，但完全避免二义性并构造一个等价的无二义文法是极具挑战的。对于EQN预处理器中的文法，提取并单独处理E sub E sup E形式的表达式要求精细的文法设计技巧，以确保所有表达式都能被正确且唯一地解析。

结论

通过引入额外的约定和处理特殊情况产生式，可以有效地解决由二义文法引起的解析冲突。这些策略不仅保证了代码的正确解析，还维持了语法的灵活性和表达力。虽然构造无二义文法可能存在挑战，但通过这些方法，我们能够在保持文法表达力的同时，确保解析的一致性和准确性。

 

LR分析中的错误恢复策略

在编译过程中，错误的识别与恢复是保证编译器鲁棒性的关键。LR分析器由于其强大的语法分析能力，成为许多编程语言编译器设计的首选。然而，当分析器在其动作表中遇到空白条目时，即识别到一个错误，此时如何有效地进行错误恢复，成为了提高编译器用户体验的重要环节。本节将探讨LR分析中的错误恢复策略，特别是紧急模式恢复和短语级恢复两种主要方法。

紧急模式恢复

基本原理

紧急模式恢复是一种试图忽略发生语法错误的短语的错误恢复方法。其基本步骤如下：

1. 退栈：从栈顶开始退栈，直到找到一个状态s，该状态对某个预定的非终结符A有一个转移。
2. 跳过输入符号：抛弃一些（可能是零个）输入符号，直到找到一个符号a，它能合法地跟随非终结符A。
3. 状态转移：将非终结符A和状态goto[s, A]压入栈，然后恢复正常分析。

此方法的选择通常不唯一，但A应代表主要语法构造，如表达式、语句或程序块，以减少对原始代码结构的破坏。

应用示例

假设A是非终结符stmt，则a可能是分号或}，后者标记一个语句序列的结束。这种处理方式试图通过跳过一部分输入来恢复到一个预期的语法结构点，从而继续分析过程。

短语级恢复

概念

短语级恢复涉及对剩余输入进行局部修改，以允许分析器继续其分析过程。这可能包括插入缺失的分号、删除多余的分号等操作。

实现

实现短语级恢复的关键在于检查LR分析表的每个空白条目，并为可能的输入错误编写适当的恢复过程。这要求编译器设计者深入理解语言的使用情况，以选择最合适的恢复策略。

错误处理例程

错误处理例程针对特定的错误情况设计。例如，对于缺少运算对象的错误，可能会将一个假定的运算对象（如id或左括号）插入到分析栈中，并给出相应的诊断信息。

错误恢复例程示例

以下是几种典型的错误处理例程：

• el：在期望输入符号为运算对象首符，但遇到如+, *, 或$时，给出“缺少运算对象”的诊断信息。
• e2：在遇到不匹配的右括号时，从输入中删除该右括号，并给出“不匹配的右括号”的诊断信息。
• e3：在期望运算符但遇到标识符或左括号时，给出“缺少运算符”的诊断信息。
• e4：在遇到输入结束符$但期望一个右括号时，给出“缺少右括号”的诊断信息，并尝试通过插入一个假定的右括号来恢复分析。

结论

LR分析器中的错误恢复策略通过紧急模式恢复和短语级恢复两种主要方法，旨在尽量减少因语法错误对编译过程的干扰。通过精心设计的错误处理例程，可以有效地指导分析器跳过或修正错误，继续进行语法分析，从而提高编译器的鲁棒性和用户体验。