4.1 语法制导的定义

 

 

语法制导定义：概念与实现

在计算机科学的领域，编译器的设计和实现是理解程序语言并将其转化为机器能够执行的代码的关键过程。在这一过程中，语法制导定义（Syntax-Directed Definition，SDD）扮演了至关重要的角色。本文将深入探讨语法制导定义的概念、形式以及其在编译器设计中的应用。

4.1 语法制导定义的基本概念

定义概述

语法制导定义是一种结合了上下文无关文法和属性以及语义规则的方法，用于指导编译器如何根据源程序生成目标代码。在SDD中，每个文法符号都关联着一组属性，而每个产生式则配备了一组用于计算这些属性值的语义规则。

属性和语义规则

在语法制导定义中，属性可以是任何类型的值，如字符串、数值、类型或表引用等，它们用于捕捉文法结构的语义信息。属性分为两类：综合属性和继承属性。综合属性的值由结点的子结点的属性值计算得来，而继承属性的值则由其父结点、兄弟结点或自身的其他属性值计算得来。这种属性的分类使得在分析树中自底向上和自顶向下的信息流动成为可能。

分析树的角色

在语法制导定义的框架下，分析树不仅仅是文法产生式应用顺序的图形表示，而且还是属性值计算和传播的场所。每个结点代表一个文法符号，并携带该符号的属性。通过在这些结点上应用语义规则，可以计算出属性值，进而完成从源代码到目标代码的转换。

4.1.1 语法制导定义的形式与实现

形式化表示

在形式化的SDD中，每个文法符号的属性和每个产生式的语义规则被明确规定。一个产生式的语义规则定义了如何根据产生式右部的文法符号的属性值来计算左部文法符号的属性值或产生式右部某个文法符号的继承属性值。

综合与继承属性

区分综合属性和继承属性对于理解属性如何在分析树中流动至关重要。综合属性促进了自底向上的信息传递，而继承属性则支持自顶向下或横向的信息流动。这种机制允许编译器在分析过程中有效地收集和利用语义信息。

实现模型

实际上，语法制导定义的概念通常通过编译器中的数据结构和算法来实现。例如，分析树的节点可以通过记录（或对象）来实现，其中包含了代表文法符号的属性。语义规则则通过编程语言中的函数或方法来实现，这些函数根据规则计算并更新节点的属性值。

实际应用示例：简单计算器

为了具体说明语法制导定义的应用，考虑一个简单计算器的例子。在这个例子中，我们定义了一系列的产生式，用于识别和计算算术表达式。例如，产生式E → E1 + T定义了如何计算两个表达式的和，其中E.val = E1.val + T.val的语义规则指定了如何计算表达式的值。

通过这种方式，语法制导定义不仅指导了编译器如何解析程序，还指导了如何根据程序的结构和语义计算结果。这种深度结合文法分析和语义分析的方法是现代编译器设计的基石。

总结来说，语法制导定义提供了一种强大的框架，用于在编译过程中处理和转换程序的语义信息。通过精心设计的属性和语义规则，编译器能够有效地将高级语言程序转换为机器可以执行的代码，从而使程序设计和实现变得更加高效和可靠。

深入探讨综合属性：S属性定义的力量

在编译器的设计和实现中，理解如何有效地利用语法制导定义（Syntax-Directed Definition，SDD）是至关重要的。特别地，综合属性的概念为构建强大且高效的语义分析提供了基础。本节将详细介绍综合属性的工作机制及其在编译器构建中的应用，特别是在S属性定义中的角色。

4.1.2 综合属性的基础

综合属性的定义

综合属性是那些在分析树中自下而上计算的属性。它们通常用于构造表达式的值、类型检查以及其他由子结点到父结点的信息流动需求。S属性定义（纯粹的综合属性定义）利用这种属性来执行语义规则，从而避免了对分析树的多遍扫描或复杂的继承属性计算。

S属性定义的应用

S属性定义是一个限定的语法制导定义方法，它仅使用综合属性来指导语义分析的过程。这种方法的优势在于简化了属性计算的流程，使之成为一个单向自下而上的过程，从叶结点到根结点。这种方式不仅提高了效率，而且也减少了实现的复杂度。

注释分析树的概念

一个注释分析树是分析树的一种特殊形式，其中每个结点的属性值都已被计算并标注。通过注释分析树，可以直观地看到如何通过应用语义规则计算每个结点的属性值，从而理解整个程序的语义。

分析树的注释过程

注释（或修饰）分析树的过程涉及计算并记录分析树中每个结点的属性值。这一过程从叶结点开始，根据每个产生式的语义规则向上逐级计算，直到到达根结点。这种方法体现了S属性定义的核心思想：通过自下而上的方式完成分析树的语义注释。

实际例子：简单计算器的S属性定义

为了具体说明综合属性在实践中的应用，我们通过一个简单计算器的例子来展示。假设计算器的输入是表达式8+5*2，紧跟一个换行符。目标是计算并打印出表达式的值18。

注释分析树的构建

考虑到上述计算器的例子，构建注释分析树是理解综合属性计算过程的关键。图4.1展示了表达式8+5*2的注释分析树。在这个例子中，每个结点的属性值（如E.val、T.val、F.val）都是通过应用相应产生式的语义规则计算得到的。

例如，底层的F结点直接从数字词法单元（digit）获取其lexval作为val属性的值。通过这样的计算，可以看到E.val=8，T.val=10，最终在根结点上，通过应用产生式E → E + T的语义规则，计算得出E.val为18。

计算过程的理解

通过这个注释分析树，我们可以清楚地看到综合属性是如何一步步计算出最终的表达式值的。这个过程展示了综合属性在实际应用中的强大之处：能够有效地从底层结点向上聚合信息，直至得出整个表达式的计算结果。

总之，综合属性和S属性定义为编译器的设计者提供了一个高效、直观且易于实现的框架，以支持复杂的语义分析。通过精心设计的语义规则和属性计算策略，可以实现从源代码到目标代码的平滑转换，为软件开发的各个方面带来便利和效率。

继承属性：上下文敏感的语义分析

在编译器设计中，继承属性扮演着至关重要的角色，尤其是在处理需要上下文信息的语言构造时。这些属性提供了一种机制，允许信息在分析树中自顶向下或横向传递，从而使得结点的语义分析可以依赖于其父结点、兄弟结点或其它相关结点的属性。这一节将深入探讨继承属性的概念、使用场景及其对编译器设计的影响。

4.1.3 继承属性的工作原理

定义与应用

继承属性是那些由一个结点的上下文（即其父结点、兄弟结点的属性）定义的属性。它们使得结点的语义分析能够考虑到其在语法结构中的具体位置和作用，从而处理一些语言构造的上下文依赖性问题。

上下文敏感的语义分析

继承属性的引入，特别适用于那些其属性值依赖于所在上下文的语言构造。例如，在变量声明和类型检查中，继承属性可以将类型信息从声明传递到使用该变量的表达式中，确保类型的正确性和一致性。

继承属性的实际应用

类型信息的传递

考虑一个简单的声明和使用场景，其中变量的类型信息需要从声明传递到使用该变量的地方。在此场景中，继承属性允许编译器在分析树中向下传递类型信息，确保每个变量使用时的类型正确性。

示例：声明表中的标识符类型

以一个处理int和real类型声明的语法制导定义为例。在此定义中，非终结符T具有综合属性type，该属性的值由声明中的关键字（int或real）决定。产生式D→TL使用继承属性将类型信息从T传递给L，而L→L, id的语义规则则将这个继承属性in沿着分析树向下传递，最终通过addType过程更新符号表中每个标识符的类型信息。

注释分析树的示例

考虑句子int id1, id2, id3的处理。图4.2中的注释分析树展示了如何计算和传递继承属性L.in。首先，计算根节点左子结点T的type为integer，随后，这个类型信息作为继承属性L.in自上而下地传递给所有的L结点，并通过调用addType过程，将每个id子结点上的标识符类型设置为整型。

继承属性的优势与限制

使用继承属性可以使得语法制导定义更加自然和直观，尤其是在处理上下文敏感的语言构造时。它们提供了一种灵活的方式来在分析树中传递信息，从而允许结点根据其上下文来确定自身的语义。

然而，继承属性的使用也增加了语法制导定义的复杂性，因为它要求设计者仔细规划如何在分析树中传递属性，以确保每个结点都能获取到正确的上下文信息。尽管重写语法制导定义以仅使用综合属性在理论上总是可能的，但这样做有时会牺牲文法的简洁性和直观性。

总之，继承属性是编译器设计中一种强大的工具，特别适用于处理复杂的上下文依赖性问题。通过恰当地使用继承属性，可以大大增强编译器处理语言构造的能力，使其能够生成更加准确和高效的代码。

属性依赖图：理解属性之间的依赖关系

在编译器设计中，理解分析树上属性之间的依赖关系对于确保正确的属性计算顺序至关重要。这种依赖关系可以通过一种称为属性依赖图的有向图来可视化，从而帮助设计者有效地规划和实施属性的计算策略。本节将探讨属性依赖图的概念、构造方法及其在编译器设计中的应用。

4.1.4 属性依赖图的概念

定义和目的

属性依赖图是一个有向图，用来表示分析树上各个结点属性之间的依赖关系。在这个图中，结点表示属性，而有向边表示属性之间的依赖方向。通过分析这个图，编译器的设计者可以确定属性值的计算顺序，以保证在计算某个属性之前，所有它依赖的属性都已被正确计算。

虚拟综合属性

为了将所有语义规则统一表示为形如b=f(c1, c2, ..., cn)的格式，引入虚拟综合属性的概念。这种做法简化了依赖图的构造过程，使得每条语义规则都可以在依赖图中以统一的方式表示。

构造属性依赖图

步骤和规则

构造属性依赖图的过程涉及以下步骤：

1. **节点表示：**分析树上每个结点的每个属性在依赖图中都对应一个图结点。
2. **边的创建：**如果属性b依赖于属性c，则在依赖图中从c到b画一条有向边。

实例分析

考虑一个示例，其中产生式S→ABC定义了综合属性S.s依赖于属性A.a、B.b和C.c。在依赖图中，这种依赖关系通过从A.a、B.b和C.c指向S.s的边来表示。如果依赖方向相反，即A.a依赖于S.s、B.b和C.c，则相应的边会反向，从S.s、B.b和C.c指向A.a。

例4.4：分析树的依赖图

图4.3展示了一个具体分析树的属性依赖图，其中用数字标记的结点代表不同的属性，实线表示属性之间的依赖关系。在这个例子中，可以看到如何通过有向边表示属性之间的依赖，例如，T.type到L.in的依赖，以及L.in在不同L结点之间的传递。

依赖图的应用

属性依赖图不仅帮助确定属性计算的顺序，还能揭示潜在的循环依赖问题，这对于设计高效且正确的编译器极为重要。通过分析依赖图，可以优化属性的计算策略，避免不必要的计算延迟，并确保语义分析的准确性。

结论

属性依赖图是编译器设计中一个强大的工具，它提供了一种直观的方式来理解和规划属性之间的依赖关系。通过有效地使用属性依赖图，编译器设计者可以确保属性的计算顺序既高效又正确，从而提高编译过程的整体性能和可靠性。

 

确定属性计算顺序：拓扑排序与编译效率

在编译器设计中，确保属性按正确的顺序计算是至关重要的，以便正确地执行语义分析和代码生成。属性依赖图提供了一种可视化属性之间依赖关系的方法，而拓扑排序则是基于这些依赖关系确定计算顺序的关键技术。本节将探讨如何通过拓扑排序来确定属性计算的顺序，及其对编译过程效率的影响。

4.1.5 属性计算次序的确定

拓扑排序的原理

拓扑排序是针对有向无环图（DAG）的一种排序方法，它可以为图中的每个结点排出一个严格的顺序。在属性依赖图中应用拓扑排序意味着可以确定一个属性计算的顺序，这个顺序保证了在计算任何一个属性之前，所有它依赖的属性都已经计算完成。

应用到属性计算

应用拓扑排序到属性依赖图上，可以得到一个计算顺序，使得编译器在执行语义规则以计算属性值时，能够保证所需的所有依赖属性都已经是可用的。这样，就可以避免因为属性计算顺序错误而导致的编译错误或不确定性。

示例与程序生成

示例分析

以图4.3的依赖图为例，可以看到一个从序号较低的结点到序号较高的结点的拓扑排序。这个排序直接指示了属性的计算顺序，从而可以生成一系列的语义规则计算步骤，确保了类型信息被正确地存储于符号表中每个标识符的条目。

程序生成

从拓扑排序得到的属性计算顺序可以直接转换为程序代码，这些代码按照排序的顺序执行语义规则的计算。这种方法称为分析树方法，它在编译时确定属性的计算顺序，从而保证了语义分析的正确性。

方法与改进

编译前确定计算次序

为了提高编译效率，最佳做法是在编译前就确定属性的计算次序，避免在编译时构造依赖图和执行拓扑排序。这可以通过手工分析或使用专门的工具来完成，称为基于规则的方法，适用于手工构造编译器。

编译器生成工具

使用如Yacc等编译器生成工具时，编译器设计者需要根据工具的计算策略来编写语义规则。这种方法，称为忽略规则的方法，虽然限制了语法制导定义的种类，但能够生成效率更高的编译器。

总结

通过拓扑排序确定属性计算顺序是确保编译器正确性和提高编译效率的关键步骤。通过在编译前确定计算顺序，可以避免编译时的额外开销，使得编译过程更为高效。无论是手工构造编译器还是使用自动生成工具，正确管理属性的计算顺序都是设计高效、可靠编译器不可或缺的一部分。