php词法语义分析,[总结]语法制导翻译/语义分析

语义分析理论中并没有语法和词法分析阶段中那么多算法。如同整个编译原理里大部分理论

一样，其都是为实践编码提供理论支持，从而可以让实现简单机械地进行---语法制导翻译

也正是出于这个目的：通过建立理论，使得从语法树翻译到中间代码(或者虚拟机代码)更

为简单。

个人理解，语法制导翻译就是在文法中加上属性和各种动作，这些动作基本也就是这里的“

翻译”；而语义分析，则是在整个过程所要进行的一些上下文相关的分析动作(如类型检查

)。

罗列一些概念：

- 属性：就是语法树各个节点上所需要的“值”，例如对于算术表达式a=b+c，在其语法树

中，每一个节点都会有一个数字属性。属性明显不止包含数字/值这些东西，某个节点包含

哪些具体属性完全取决于编译器实现的需要。对于表达式a=b如果需要检查a和b的类型是否

可以赋值(如在c语言中，struct XXX b就无法传给int a)，就需要在其节点中附加类型属

性。---这里举的例子也正是一种语义分析行为。

- 综合属性：某个节点的属性依赖于其子节点的属性，这种属性计算起来很简单，尤其在递

归下降分析程序中。

- 继承属性：某个节点的属性依赖于其父节点或者其兄弟节点。这个属性计算起来要稍微麻

烦一些，需要一种属性传递机制。在上一篇LL分析法的练习程序中，就使用了一个“值栈”

来传递属性。

- 依赖图：上面提到属性之间的依赖，在一棵语法中，通过箭头描绘出这种依赖关系就得到

依赖图，说白了就是拿来方便看的，无视。

- 语法制导定义(SDD)：学编译原理最烦的就是这些定义，一句话里总觉得有若干未知概

念，尤其在翻译比较烂的时候。我觉得这个SDD就是在文法中穿插了若干属性和翻译动作的

表示。

- S属性的SDD：如果一个SDD的每一个属性都是综合属性，那它就是S属性的。

- L属性的SDD：无视了，就是夹杂着综合属性和继承属性的SDD，不过继承属性有诸多条件

限制，大致上就是其某个属性的依赖关系仅限于其左兄弟或者父节点。

其实这一切都并非它看上去的那么繁杂。在有了语法分析的基础上，因为马上涉及到翻译为

中间代码(甚至会直接翻译为虚拟机代码)，在这个阶段直接把代码中会做的事情书写到文

法里，就得到了SDD。按照这个SDD，就可以较为机械地对应写出代码。另一方面，在实际中

为了处理不同的翻译问题，如类型检查、各种控制语句的翻译，直接参考相关的资料，看看

别人怎么处理的就行了。

练习程序是一个简单地处理c语言定义变量、定义struct类型的代码。因为c语言里的变量会

附带类型属性，用于类型检查之类的问题，所以程序中保存这些变量的符号表自然也要保存

其类型。定义新的struct类型我这里直接建立了一个类型表，用于存储所有的类型：基本类

型和程序员自定义类型。

练习程序直接使用了lex和yacc来生成词法和语法分析模块，通过直接在文法文件里(*.y)的

文法中穿插各种动作来完成具体的处理逻辑。本来我最开始是想个类型检查程序的，起码可

以检查一般的类型不匹配错误/警告，不过后来仅仅做了变量/类型定义，就发现有一定代码

量了，索性就懒得做下去了。

posted on 2010-03-28 20:19 Kevin Lynx 阅读(9748) 评论(3)  编辑 收藏 引用 所属分类: 编译原理