编译原理ch3-2.pptVIP

3.2.4 构造非二义的表达式文法（续） 下面的二义文法描述命题演算公式的语法，为它写一个等价的非二义文法(P101/3.3) S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T T ? T and F | F F ? not E | ( E) | p | q not p and q有两种不同的最左推导 本节小结 上下文无关文法 正规式和上下文无关文法的关系。 文法的变换方法。 作业 1. P101/3.2 2. P101/3.4 (b)(c) * 从开始符号E起，不断使用产生式代换，可以得到一个代换序列，最终得到一个只含终结符的串。这个代换序列称为从E到这个串的推导， 这个串称为由文法G产生的句子。 (id+id)*id的最左推导 (id+id)*id的分析树 令(x)是w具有相同个数左右括号的最短前缀 不要求掌握这种证明技术，但是当为一些例子语言设计文法时，如能用这样的方式去思考问题，设计出正确文法的可能性大得多。 编译原理 中国海洋大学计算机系 葛 琳 green.lyn@ 上次课回顾 分析器（parser）的功能：分析出记号流的语法结构 程序设计语言的语法结构 语法分析方法分类（两类） 上下文无关文法的定义（四元组）及简化表示 上次课回顾（续） 例3.2 ( {id, +, ?, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr) expr ? ? expr expr ? id op ? + op ? ? 简化表示 E ? E A E | (E ) | ?E | id A ? + | ? 本次课内容 上下文无关文法： 推导 分析树 二义性 正规式和上下文无关文法的关系 文法的变换 3.1.2 推导 推导（Derivation）：把产生式看成重写规则，把符号串中的非终结符用其产生式右部的串来代替 例：E ? E + E | E ? E | (E ) | ? E | id E ? ?E ? ?(E) ? ?(E + E) ? ?(id + E)? ?(id + id) 一些概念和记号： A??, 则?A? ? ??? ?1 ? ?2 ?… ? ?n： ?1 推导出 ?n ?， ?*， ?+ 对任何串，有? ?*?; 如果? ?*?,? ??,那么? ?*? 3.1.2 推导（续） 一些概念和记号（续）： 由文法G产生的全部句子组成的集合称为G产生的语言，记做L(G)。 由上下文无关文法产生的语言叫做上下文无关语言。 如果S?* ? ， ?可能含有非终结符，则?叫做该语言的句型（sentential form） 句子是只含终结符的句型。 如果两个文法产生同样的语言，则称这两个文法等价。 3.1.2 推导（续） 一些概念和记号（续）： 递归：设给定文法G：(VT, VN, S, P)，若有A ? ? ?* ?A?，?和?不同时为?，则称非终结符A是递归的；若存在产生式A??A?，则称非终结符A是直接递归的。 特别的，当? = ? ，而? ? ?时，称A为左递归和直接左递归的；当?? ? ，而?= ?时，称A为右递归和直接右递归的。 递归文法：如果文法中至少含有一个递归的非终结符，则此文法称为递归文法。 只有文法G递归定义时，L(G)中句子才是无穷的。 3.1.2 推导（续） 例3.3： 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) 3.1.3 分析树 分析树（Parse tree）是推导的图形表示 分析树的内部结点由非终结符标记，其子结点由该非终结符的这次推导所用产生式的右部各符号从左到右依次标记。 分析树的根结点由文法的开始符号标记。 分析树的叶结点由非终结符或终结符标记，所有这些标记从左到右构成一个句型。 3.1.3 分析树（续） E ? ? ? E E ? E E ? ( ) E E E ? ( ) E E E + ? ? E E ? ( ) E E E + id E E ? ( ) E E E + id id - (id + id)的推导分析树 注意：最终得到的分析树忽略了