编译原理 语法制导翻译.ppt

第五章语法制导翻译 学习重点 O语法制导定义概念 o利用语法制导定义构造语法树 oS-属性定义、L属性定义 o自顶向下计算属性 O自底向上计算属性 o递归方法计算属性 o内存分配 概述 输入串一语法树一依赖图—语义规则 执行顺序 O语法制导定义 o翻译模式 编程语言的翻译根据语法进行 属性”, attribut o每个语法符号与若干属性相关联 O翻译—指定属性的相互依赖关系 o语义规则, semantic rule O语言规则的执行反映属性的相互关系 5.1语法制导定义 O扩充CFG 口语法符号←→属性——语法树节点,记录域 口产生式←→语义规则语法树节点,用于计算属性 O属性类型 口综合, synthesized,根据孩子节点属性计算 口继承, inherited,由父、兄弟节点属性计算 O依赖图, dependency graph o注释语法树:节点属性值计算完毕 annotated parse tree, annotating, decorating 5.1.1语法制导定义的形式 o每个产生式A→α与一组语义规则相关联,每 个语义规则具有如下形式 口b=f(c1, c),两种可能情况 口b为A的综合属性,c1,C2,…,ck为A、a中语法符号的 属性 口b为α中某个符号的继承属性,c1,C2,…,c为A、a中 语法符号的属性 b依赖c1,C2…,Ck o属性文法:扩充了语法制导定义,无副作用 例5 产生式 语义规则 L→En print(e. val) E→E1+T E. val= eval t tval E→T E. val= Tval T→T1*F T val=Tval F. val Tval= e.val F E. val F→ digit F val= digit. lexval o digit. lexval:终结符只有综合属性,由词法分 析器提供 o开始符号通常没有继承属性 5.1.2综合属性 o只有综合属性:S-属性定义 o语法树自底向上计算属性 5.1.3继承属性 o表达程序语言结构在上下文中的相互依 赖关系更加自然、方便 例53变量定义 real idid id 产生式 语义规则 D→TL L in T type T→int Ttype= integer T→real T type= real LLin=L lddtype(id entry, L in) L→id adatype(id entry, L in)