编译原理第四章.pptVIP

第四章语法制导的翻译 贵州大学 计算机科学与技术学院 语义分析的概念 语法分析并未对程序内部的逻辑含义加以分析，因此编译程序接下来的工作是语义分析，即审查每个语法成分的静态语义。若静态语义正确，则生成与该语言成分等效的中间代码，或直接生成目标代码。 在语义分析时要进行语义检查，动态语义检查需要生成相应的目标代码，它是在运行时进行的，静态语义检查是在编译时完成的，它涉及几个方面： 类型检查：算符运算对象是否相容。 控制流检查：控制流语句必须使控制转移到合法的地方。 唯一性检查：很多场合要求对象只能被定义一次。 关联名字检查：有时，同一名字必须出现两次或多次。 语法与语义 语法是指语言的结构、即语言的“样子”；语义是指附着于语言结构上的实际含意 ，即语言的“意义”。例：猫吃老鼠与老鼠吃猫 语义分析的两个作用： 检查是否结构正确的句子所表示的意思也合法； 执行规定的语义动作，如：表达式求值、符号表填写、 中间代码生成等 语义分析的方法：语法制导翻译 语法制导翻译的基本思想是：文法中的每个符号都有一些编译程序关心的信息，称为文法符号的属性；为文法中的每个产生式给定一组计算相关属性的动作（称语义动作或翻译子程序），在执行语法分析 (使用语法规则进行推倒或归约)的同时，就执行该产生式对应的语义动作进行属性计算。即语法制导翻译是在语法规则的制导下,通过对语义规则的计算,完成对输入符号串的翻译。 本章内容 介绍语义分析方法：语法制导的翻译，包括它的两种具体形式（语义动作/规则和产生式相联系的方式）：语法制导的定义和翻译方案 介绍语法制导翻译的实现方法 第四章 语法制导的翻译 4.1 语法制导的定义 4.2 S属性定义的自下而上计算 4.3 L属性定义的自上而下计算 4.4 L属性的自下而上计算 4.1 语法制导的定义(属性文法) 基础文法（上下文无关文法） 每个文法符号有一组属性（与文法符号的类型和值等有关的信息，在编译中用属性描述处理对象的特征） 随着编译的进展，对语法分析产生的语法树进行语义分析，且分析的结果用中间代码描述出来。对于一棵等待翻译的语法树，它的各个节点都是文法的一个符号X，该X可以是终结符或非终结符。根据语义处理的需要，在用产生式A ? ?Xβ进行归约或推导时，应能准确而恰当地表达文法符号X在归约或推导时的不同特征。例如，判断变量X的类型是否匹配，要用X的数据类型来描述；判断变量X是否存在，要用X的存储位置来描述；而对X的运算，则要用X的值来描述。因此，语义分析阶段引入X的属性，如X.type、X.place、X.val等来分别描述变量X的类型、存储位置以及值等不同的特征。 每个文法产生式A ?? 配有一组形式为b := f(c1, c2, …, ck )的语义规则（属性求值规则），其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性 综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式右部文法符号的属性或A的其它属性，则b是A的综合属性。如：E ? E1 + T {E.val := E1 .val + T.val} 继承属性：如果b是产生式右部某个文法符号X的属性， c1 , c2 , …, ck 是产生式右部文法符号的属性或A的属性，则b是X的继承属性。如：D ? TL {L.in := T.type} 属性b依赖于属性c1,c2,…,ck。属性之间的依赖关系，实质上反映了属性计算的先后次序，即所有属性ci被计算之后才能计算属性b 4.1.2 综合属性 在语法树中，一个结点的综合属性的值由其子结点的属性值确定。（用于“自下而上”传递信息） 使用自底向上的方法在每一个结点处使用语义规则计算综合属性的值 S属性定义：仅仅使用综合属性的语法制导定义 4.1.3 继承属性 在分析树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定（用于“自上而下”传递信息） 用继承属性来表示程序设计语言结构中的上下文依赖关系很方便 4.1.4 属性依赖图 一棵分析树中的结点的继承属性和综合属性之间的相互依赖关系可以由称作依赖图的一个有向图来描述 为每一个包含过程调用的语义规则引入一个虚拟综合属性b，这样把每一个语义规则都写成 b:=f(c1,c2,…,ck) 的形式 依赖图中为每一个属性设置一个结点，如果属性b依赖于属性c，则从属性c的结点有一条有向边连到属性b的结点。 E→E1＋E2 E.val:=E1.val+E2.val 句子real id1，id2，id3的带注释的语法树的依赖图 产 生 式 语 义 规 则 D→TL L.in := T.type T→int T.type :=