编译原理蒋立源文法和语言.pptVIP

第二章 文法和语言 2.1 文法及语言的表示 2.2.1基本概念和术语 符号串及其集合的运算1 符号串及其集合的运算2 符号串及其集合的运算3 符号串及其集合的运算4 2.2.2 文法和语言的形式定义 文法形式定义1 文法形式定义2 文法形式定义3 文法形式定义4 文法形式定义5 文法的EBNF表示 文法的EBNF表示 文法的EBNF表示 直接推导 直接推导 推导 句型和句子 语言 语言 语言 递归规则与递归文法 ???2.3句型的分析 2.3.1规范推导 2.3.1 规范推导 2.3.1 规范推导 2.3.1 规范推导 2.3.2 语法树和二义性 2.3.2 语法树和二义性 2.3.2 语法树和二义性 2.3.2 语法树和二义性 2.3.2 语法树和二义性 2.3.2 语法树和二义性 2.3.3 短语和句柄 2.3.3 短语和句柄 2.3.3 短语和句柄 2.3.3 短语和句柄 2.4 文法的化简和改造 2.4.1 无用符号和无用产生式的删除 2.4.1 无用符号和无用产生式的删除 2.4.1 无用符号和无用产生式的删除 2.4.1 无用符号和无用产生式的删除 2.４.２ ε-产生式的消除 2.４.２ ε-产生式的消除 2.４.２ ε-产生式的消除 2.４.２ ε-产生式的消除 2.４.２ ε-产生式的消除 2.4.３ 单产生式的消除 2.5文法和语言的Chomsky分类 2.5文法和语言的分类 2.5文法和语言的分类 2.5文法和语言的分类 习题 2 算术表达式的运算规则是乘除高于加减，if语句规定else就近配对，为什么呢？这是为了解决文法的二义性问题。前面我们介绍语法树时说过，推导过程不同，生成语法树的过程也不同，但最终生成的语法树是相同的，这是在文法没有二义的条件下才成立。如果一个文法所定义的句子中有某个句子或句型，它存在两棵不同的语法树，那么这个句子或句型是二义性的，该文法是二义性文法。 例2.9 有文法G[E]：E → E+E | E*E |（E）| i，分析该文法是否为二义性文法。 解：为了判断该文法是否为二义性文法，我们找一个句子i+i*i，如果能够构造出两个不同的语法树，则说明该文法是二义性文法。下面两个图是为句子i+i*i构造的两棵语法树，如图2.2(a)、(b)所示。由于这两棵语法树不同，所以可以肯定文法G[E] 是二义性文法。 E E + E E * E i i i E E * E E E i i i + 图2.2(a) 语法树1 图2.2(b) 语法树2 二义性产生的后果会导致分析结果不同，导致对句子的理解不同。 在图2.2(a) 语法树1中，根据规范归约构造的推导过程为： E=E+E=E+E*E=E+E*i=E+i*i=i+i*i 在图2.2(b) 语法树1中，根据规范归约构造的推导过程为： E=E*E=E*i=E+E*i=E+i*i=i+i*i 由于图2.2(a)语法树1中的*先作为句柄归约，可理解成*优先于+进行运算，而图2.2(b)语法树2中的+先作为句柄归约，表示+优先于*进行运算。 例2.10，IF语句文法如下： 语句 → IF布尔表达式THEN语句 |IF布尔表达式THEN语句ELSE语句 |其它 说明该文法是二义性文法。 解：假设有一个IF语句嵌套的句型为： IF布尔表达式THEN IF布尔表达式THEN语句ELSE 语句 根据文法可构造两棵语法树如图2.3(a)和图2.3(b)所示： 语句 布尔表达式 IF THEN 语句 布尔表达式 IF THEN 语句 ELSE 语句 语句 布尔表达式 IF THEN 语句 布尔表达式 IF THEN 语句 ELSE 语句 图2.3(a) IF语句语法树1 图2.3(b) IF语句语法树2 由于这两棵语法树不同，所以该文法是二义性文法。图2.3(a) IF语句的语法树意味着ELSE和第2个THEN配对（就近配对），而图2.3(b) IF语句的语法树表示ELSE和第1个THEN配对。 文法的二义性是不可判定的，即不存在一种算法，它能够在有限步内判定一个文法是否是二义性的。第4章讨论的LL，LR等几类重要文法都是无二义性的。同时，还存在这样一些算法，可判定任一前后文无关文法是否为LL，LR文法。不过，文法的LL性，LR性只是文法无二义性的充分条件。另一方面，还存在一些用来检查文法二义性的其他充分条件。若一个文法G含有既是左递归又是右递归的非终结符号A