属性文法与语法制导翻译课件.pptxVIP

属性文法与语法制导翻译**主要内容语法制导翻译概述属性文法综合属性与继承属性S_属性文法L_属性文法翻译模式**6.1 语法制导翻译概述语法制导翻译的概念描述在进行语法分析的同时，完成相应的语义处理E→E1 + E2 E.val:=E1.val+E2.val语法结构具有规定的语义？？如何根据被识别出的语法成分进行语义处理**1. 语义分析的任务**语义检查例如：类型、运算、维数、越界语义处理例如：变量的存储分配、表达式的求值、语句的翻译（中间代码的生成）总目标生成等价的中间代码2. 代码结构朴素理解：我们编写的程序在如何工作？计算学科：对信息（数据表示）描述和变换算法的系统研究变换：源、目标以及源与目标的对应关系语句的代码结构（源、目标）语句分类说明语句——符号表的查填可执行语句——生成指令代码**3. 典型处理方法对应每一个产生式编制一个语义子程序，当一个产生式获得匹配时，调用相应的语义子程序实现语义检查与翻译E→E1 + T E.val:=E1.val+T.valT→T1 * F T.val:=T1.val*F.valF →id F.val:=id.val适应在完成归约的时候进行语义——可以看成是相应文法符号的属性**3. 典型处理方法在产生式的右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作D → T { L.in := T.type } LT → int { T.type := integer }T → real { T.type := real }L → { L1.in := L.in }L1,id{…}语义——可以看成是相应文法符号的属性适应在进行推导时完成对应语法基本分析方法（Top-down、Bottom-up）**6.2 属性(Attribute)文法**属性文法是Knuth在1968年提出的属性文法的特点是一种接近形式化的语义描述方法长于描述静态语义、短于描述动态语义每个语法符号有相应的属性符号每个产生式有相应的计算属性的规则属性变量:=属性表达式属性文法举例产生式 属性（计算）规则/语义规则E → E1 + E2 E.val := E1.val + E2.valE → E1 * E2 E.val := E1.val * E2.valE →(E1)E.val := E1.valE →idE.val := id .val**1. 属性文法的定义三元组：Ａ＝（Ｇ，Ｖ，Ｆ）Ｇ 是上下文无关文法Ｖ 属性的有穷集Ｆ 关于属性的计算规则属性及其计算规则语义信息作为终结符和非终结符的属性语义分析为产生式相关的属性计算：每个产生式设置语义规则，描述各属性的关系——计算规则**2. 属性的设定根据文法符号的语义，为文法符号设置属性，用来表示文法符号的语义终结符使用单词的属性 （id.val）保留字：if, begin, function,……常数：40.12, 232, 80, “TCP/IP”标识符：sum, tcc, id 语法变量根据实际需要设定属性表达式E：E.type， E.val**例6-1 计算器的属性文法用文法描述要完成的动作L → EE → E1 + T | TT → T1 * F | FF → ( E ) | digit任务：完成一个输入表达式值的计算和显示——翻译？？如何描述翻译过程**例6-1 计算器的属性文法（续）L → E print( E.val )（L的虚属性）E → E1 + TE.val := E1.val + T.valE → TE.val := T.valT → T1 * FT.val := T1.val * F.valT → FT.val := F.valF → ( E )F.val := E.valF → digit F.val := digit.lexvallexval 是单词 digit 的属性**real operand,text,sumint add, sub,mult例6-2 说明语句的属性文法说明语句的文法D → T LT → intT → realL → L1,idL → id要解决的问题：纪录标识符的类型类型信息传递方法：用T.type记录类型信息，并传给L.in**例6-2 说明语句的属性文法D → T L L.in := T.typeT → int T.type := ‘integer’T → real T.type := ‘real’L → L1,id L1.in := L.in addtype( id.entry, L.in )L → id addtype( id.entry, L.in )entry单词 id 的属性addtype 在符号表中为变量填加类型信息**3. 属性分类属性的计算