编译原理第二章预览.ppt

定义：如果一个文法存在某个句子对应两棵不同的语法树，或者有两个不同的最左（右）推导，则称这个文法是二义的。 G(E)： E ? i|E+E|E*E|(E) 是二义文法。 语言的二义性：一个语言是二义性的，如果对它不存在无二义性的文法。 可能存在G和G’，一个为二义的，一个为无二义的。但L(G)=L(G’) 二义性问题是不可判定问题，即不存在一个算法，它能在有限步骤内，确切地判定一个文法是否是二义的。 可以找到一组无二义文法的充分条件。 二义文法： G(E)： E ? i|E+E|E*E|(E) 表达式 ?项|表达式+项 项 ? 因子 | 项*因子 因子 ? (表达式) | i 无二义文法： G(E)：E ? T | E+T T ? F | T*F F ? (E) | i E T F ) ( E E T + T F i F T * F i i E ?T ?F ?(E) ?(E+T) ?(T+T) ?(T*F+T) ?(F*F+T) ?(i*F+T) ?(i*i+T) ?(i*i+F) ?(i*i+i) 考虑句子(i*i+i) 描述程序设计语言时，对于上下文无关文法的限制 ： 1 不含P?P形式的产生式 2 每个非终结符P必须有用处 即： 2.3.3 形式语言鸟瞰 Chomsky于1956年建立形式语言体系，他