计算机编译原理课程第二章形式语言基础.ppt

* 例如对于上述G［E］文法可以构造出一个无二义性文法G′［E］。 即E∷=T|E+T T∷=F|T*F F∷=(E)|i 根据此文法，句子i+i*i只能构造出唯一的语法树，见下图: E E + T T F i T F F i i * * §2.3 形式语言基本概念和术语 十一、文法二义性 1.定义 2.文法二义性消除 3.几点说明 * §2.3 形式语言基本概念和术语 十一、文法二义性 1.定义 2.文法二义性消除 3.几点说明 * §2.3 形式语言基本概念和术语 十一、文法的二义性 3.几点说明 （1）业已证明，文法的二义性是不可判定的，即不存在一种算法， 它能在有限的步骤内确切地判定一个文法是否是二义性。 要证明一个文法是否二义性，即找一个句型能否产生两个不同的 语法树。 （2）文法的二义性和语言的二义性是两个不同的概念。 产生该语言的文法都是二义性文法，称该语言为二义性语言，也 称先天二义性。 至少有一个非二义文法产生该语言称此语言为非二义性语言。 对于由二义性文法描述的语言，有时可以找到等价的无二义性 文法描述它，如上例文法G［E］和G′［E］，因此，我们只说文法 二义性，而不说语言的二义性 。 * 第二章 形式语言基础知识 §2.1