编译原理第三章题库.pptVIP

消除左递归规则 A grammar is left recursive if it has a nonterminal A such that there is a derivation A =+ Aα for some string α. A left-recursive production is like:A →Aα in which the leftmost symbol on the right side is the same as the nonterminal on the left side. The general case is that a nonterminal A with two productions A →Aα| β where αand β are sequences of terminals and nonterminals that do not start with A. And the left recursive pair of productions A →Aα| β could replaced by the non-left-recursive productions:A →β A’A’ →αA’| ε Here A’ is a new nonterminal. The production A’ →αA’ is right recursive. * 练习 1. 写一文法，使其语言是偶正整数的集合。 要求： 允许0打头 (2)?不允许0打头 ?2.证明下述文法G［〈表达式〉］是二义的。 〈表达式〉∷=a|(〈表达式〉)|〈表达式〉〈运算符〉〈表达式〉 〈运算符〉∷=+|-|*|/ ? 3. 令文法G［E］为： E→T|E+T|E-T T→F|T*F|T/F F→(E)|i 证明E+T*F是它的一个句型，指出这个句型的所有短语、直接短语和句柄。 * 练习 4. 给出生成下述语言的上下文无关文法：（1）{ anbnambm| n，m=0}(2) { 1n0m 1m0n| n，m=0} 5. 给出生成下述语言的三型文法： (1) { anbm|n,m=1 } (2){anbmck|n,m,k=0 } ? 6. 给出下述文法所对应的正规式： S→0A|1B A→1S|1 B→0S|0 * 一棵语法树表示了一个句型的种种可能的(但未必是所有的)不同推导过程，包括最左(最右)推导。 但是，一个句型是否只对应唯一的一棵语法树呢一个句型是否只有唯一的一个最左(最右)推导呢? * 例：G[E]: E → i E → E+E E → E*E E → (E) *EE + E E * E i i iEE * Ei E + Ei i 句型 i*i+i 的两个不同的最左推导，且有2棵不同的语法树： 推导1：E ? E+E ? E*E+E ? i*E+E ? i*i+E ? i*i+i 推导2：E ? E*E ? i*E ? i*E+E ? i*i+E ?i*i+i 二义文法 若一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的 判定任给的一个上下文无关文法是否二义，或它是否产生一个先天二义的上下文无关语言，这两个问题是递归不可解的，但可以为无二义性寻找一组充分条件。* 文法的二义性和语言的二义性是两个不同的概念。因为可能有两个不同的文法G和G′，其中G是二义的，但是却有L(G)=L(G′)，也就是说，这两个文法所产生的语言是相同的。 二义文法改造为无二义文法 G[E]: E → iG[E]：E → T|E+TE → E+ET → F|T*FE → E*EF → （E）|iE → (E)规定优先顺序和结合律 如果产生上下文无关语言的每一个文法都是二义的，则说此语言是先天二义的。对于一个程序设计语言来说，常常希望它的文法是无二义的，因为希望对它的每个语句的分析是唯一的。 * 句型的分析 句型分析就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 在语言的编译实现中，把完成句型分析的程序称为分析程序或识别程序。分析算法又称识别算法。 从左到右的分析算法，即总是从左到右地识别输入符号串，首先识别符号串中的最左符号，进而依次识别右边的一个符号，直到分析结束。 * 句型的分析算法分类 分析算法可分为： 自上而下分析法：从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导。 自下而上分析法：从输入符号串开始，逐步进行归约，直至归约到文法的开始符号。* 两种方法反映了两种语法树的构造过程 自上而下方法是从文法符号开始，