研究编译原理及其语义分析（理论基础）

一、语法制导翻译简介

1. 语法与语义的关系

语法 指的是语言的形式及其构成方式；而语义 则是依附于这种形式的实际意义及其内涵. 即使一个语法构造完全正确、完整的句子其蕴含的意义也未必准确.

2. 语义分析的作用：
   • 验证合法的语法结构所蕴含的意义是否正确；
   • 执行指定的操作以获取所需的结果信息：
   查看表达式求值的结果，
   查询并更新符号表信息，
   生成中间代码。

主流的技术是基于一种称为\text{语法导向翻译机制（SGD）}的方法。这种技术的核心在于通过生成手段实现对语言层次的理解，并将这些信息转化为语法符号的形式。具体而言，在这一机制中，通过对文法符号进行操作并结合预设的语法规则来推导出相应的内容模型。

文法符号的属性：

1. 综合特性

   • 综合特性是由子节点及其自身的其他相关特性共同决定的
   • 其核心特征表现为"由下至上"逐步构建，并包含自身的特性
   • 结论是：终结符通常具备这种特性但不具备被继承的可能性

2. 继承特性

   • 其来源是直接父节点以及同辈节点的相关信息
   • 其核心特征表现为"自上而下"并融合了兄弟节点的独特性质

两种关于语义规则的表现形式（不考虑实现细节），其功能相同。
<1> **语法制导