编译原理课件：第三章 词法分析.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * 以自然语言例子：我上课 请开门 做例子讲解非递归的自上而下分析 * * * * * * * * * * * * * * * * * * * * * * * * * S属性定义的自下而上计算 简单计算器的语法制导定义改成栈操作代码 . . . . . . Z Z. z Y Y. y X X.x . . . . . . 栈 state val top 产 生 式 代 码 段 L ? E n print (val [ top?1] ) E ? E1 + T val [top ?2 ] = val [top ?2]+val [top] E ? T T ? T1 ? F val [top ?2 ] = val [top ?2]?val [top] T ? F F? (E) val [top ?2 ] = val [top ?1] F ? digit 第五章 语法制导的翻译: L属性定义 继承属性 int id, id, id 产 生 式 语 义 规 则 D ? TL L.in = T.type T? 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) L属性定义的自上而下计算 L属性定义 如果每个产生式A?X1…Xj-1Xj…Xn的每条语义规则计算的属性是A的综合属性；或者是Xj 的继承属性，但它仅依赖： 该产生式中Xj左边符号X1, X2, …, Xj-1的属性； A的继承属性 S属性定义属于L属性定义 L属性定义的自上而下计算 预测翻译器的设计 为每个非终结符A构造一个函数，A的每个继承属性作为形参，A的综合属性作为返回值 产生式R ? +TR | ? 的分析过程 syntaxTreeNode? R (syntaxTreeNode? i) { syntaxTreeNode ?nptr, ?i1, ?s1, ?s; char addoplexeme; if (lookahead == + ) { /? 产生式 R ? +T R ?/ addoplexeme = lexval; match(+ ); nptr = T(); i1 = mkNode(addoplexeme, i , nptr); s1 = R (i1); s = s1; } else s = i; /? 产生式 R ? ? ?/ return s; } R : i, s T : nptr + : addoplexeme L属性的自下而上计算 分析栈上的继承属性 1、属性位置能预测 例 int p, q, r D ? T {L.in = T.type} L T? int {T. type = integer} T? real {T. type = real} L? {L1.in = L.in } L1, id {addtype (id.entry, L.in )} L? id {addtype (id.entry, L.in )} D T L L , r L , q p int ? type ? ? ? in in in 继承属性的计算可 以略去，引用继承属 性的地方改成引用其 他符号的综合属性 L属性的自下而上计算 D T L L , r L , q p int ? type ? ? ? in in in 产 生 式 代 码 段 D ? TL T? int val[top] = integer T? real val[top] = real L? L1, id addType(val[top], val[top?3]) L? id addType(val[top], val[top?1]) 第六章 类 型 检 查 本章内容 静态检查中最典型的部分 — 类型检查 设计语法制导的类型检查器 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查 语法 分析 器 类型 检查 器 中间 代码 生成 器 语法树 语法树 中间 表示 记号流 简单类型检查器的说明 类型检查——表达式 E ? E1 [E