第四章 语法分析课件.pptVIP

第四章 语法分析 精品 第四章 语法分析 本章内容 上下文无关文法 自上而下分析和自下而上分析 围绕分析器的自动生成展开 词 法 分析器 记 号 取下一个记号 源程序 分析树 前端的 其余部分 分析器 中间表示 符号表 精品 上下文无关文法 4.1~4.3 精品 4.1 上下文无关文法 4.1.1 上下文无关文法的定义 正则式能定义一些简单的语言，能表示给定结构的固定次数的重复或者没有指定次数的重复 例：a (ba)5, a (ba)* 正则式不能用于描述配对或嵌套的结构 例1：配对括号串的集合 例2：{wcw | w是a和b的串} 精品 4.1 上下文无关文法 上下文无关文法是四元组（VT , VN , S, P） VT : 终结符集合 VN : 非终结符集合 S : 开始符号，非终结符中的一个 P : 产生式集合， 产生式形式 : A ? ? 例 ( {id, +, ?, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr) expr ? ? expr expr ? id op ? + op ? ? 精品 4.1 上下文无关文法 简化表示 expr ? expr op expr | (expr) | ? expr | id op ? + | ? 简化表示 E ? E A E | (E ) | ?E | id A ? + | ? 精品 4.1 上下文无关文法 文法书写上的约定 终结符 字母表中的小写字母，如 a，b，c 黑体串，如 id, while 数字 0, 1, … , 9 标点符号，如括号，逗号等 运算符号，如+, -等 非终结符 字母表中的大写字母，如A, B, C 字母S，并且通常代表开始符号 小写字母的名字（斜体），如expr, stmt 精品 4.1 上下文无关文法 文法书写上的约定 字母表中后面的大写字母，如X，Y，Z，可以是终结符或非终结符 字母表中后面的小写字母，如u，v … z 可代表终结符号串 小写希腊字母，如a，b，可代表文法的符号串 对于A ? a1，A ? a2，... A ? an可以写成 A ? a1 | a2 | … | an 精品 4.1 上下文无关文法 4.1.2 推导（自顶向下） 把产生式看成重写规则，把符号串中的非终结符用其产生式右部的串来代替 例 E ? E + E | E ? E | (E ) | ? E | id E ? ?E ? ?(E) ? ?(E + E) ? ?(id + E) ? ?(id + id) 概念 S ?*?、 S ?+ w ，于是 ? ?*? ? ?* b， 且 b ? γ, 则 ? ?* γ 精品 4.1 上下文无关文法 4.1.2 推导 概念 上下文无关语言 A→γ, 且a、b是任意符号串，则aAb ? aγb 由上下文无关文法生成的语言是上下文无关语言 等价的文法 如果两个文法产生同样的语言，则两个文法等价 句型 文法G的开始符为S，S ?*?， ?可能含有非终结符，则?叫做文法G的句型。 精品 4.1 上下文无关文法 例 E ? E + E | E ? E | (E ) | ? E | id 最左推导 E ? lm ?E ? lm ?(E) ? lm ?(E + E) ? lm ?(id + E) ?lm ?(id + id) 最右推导 E ? rm ?E ? rm ?(E) ? rm ?(E + E) ? rm ?(E + id) ?rm ?(id + id) 精品 4.1 上下文无关文法 4.1.3 分析树 例 E ? E + E | E ? E | (E ) | ? E | id E E ? ( ) E E E + id id 精品 4.1 上下文无关文法 4.1.4 二义性 id ? id + id E ? E ? E E ? E + E ? id ? E ? E ? E +E ? id ? E + E ? id ? E + E ? id ? id + E ? id ? id + E ? id ? id + id ? id ? id + id 两个不同的最左推导 精品 4.1 上下文无关文法 4.1.4 二义性 id ? id + id E ? E ? E E ? E + E ? id ? E ? E ? E +E ? id ? E + E ? id ? E + E ? id ? id + E ? i