编译原理课后习题解答2.docxVIP

龙书本科教学版习题解答仅供教学参考编译原理课后习题解答 第 2 章2.2 节 语法定义解：1）生成 aa+a*的推导如下：S ? SS* ? SS+S* ? aS+S* ? aa+S* ? aa+a*2）语法分析树如图3）文法生成的语言是以 a 为基本运算分量的+和*运算表达式的后缀形式。证明：用对生成符号串中的运算符个数的归纳法证明①归纳基础：当运算符个数=0 时，即 S ? a，a 是表达式 a 的后缀形式②归纳步骤：假设运算符个数=k 时， S 能推导出 α，α 是含有 k 个运算符的表达式 A 的后缀形式；那么当符号串 w 中的运算符个数=k+1 时，可能的最右推导有两种S ? SS+ ? Sa+ ?... ? β a+S ? SS* ? Sa*? ... ? β a*显然符号串β 由一个 S 推导得到，β 中的运算符个数为 k 个，根据假设，β 是某个表达式 B 的后缀式；那么β a+ 是表达式 B+a 的后缀式β a* 是表达式 B*a 的后缀式 证毕。1／7西北大学 Gong Xq龙书本科教学版习题解答仅供教学参考解答：1）L={0n1n | n=1}证明：①考虑，推导 1 步时，有 S ?01推导 2 步时， S ? 0S1 ?0011以此类推，推导 n 步时，S ? 0S1 ?00S11 ?... ? 0...0S1...1 ?0...01...1可以得到 n 个 0 和 n 个 1②对任意串 0n1n 都存在一个推导 S ?... 0...01...12）文法生成以 a 为基本运算分量的+和-运算的前缀表达式。证明略。3）文法生成具有对称括号对的串。证明略。4）文法生成 a 和 b 的个数相等的串。证明：用关于 a 和 b 个数的归纳法证明。①归纳基础：一步推导时，S ? ?，其中 a 和 b 的个数都为 0。②归纳步骤：设 S 经过少于 n 步推导得到的串 α 中 a 和 b 的个数相等； 则=n 步的推导形如 S ? aSbS ? …? x 或 S ? bSaS? …? yaSbS 和 bSaS 中的 S 经过少于 n 步能推出终结符号串，且其中 a 和 b 的个数都相等；所以经过 aSbS 和 bSaS 推导出的 x 和 y 中的 a 和 b 个数也相等。证毕。5）文法生成基本运算分量为 a 的由二元运算+、连接和一元运算*构成的表达式，表达式可以加括号。证明略。2／7西北大学 Gong Xq龙书本科教学版习题解答仅供教学参考解答：文法 3）、4）、5）有二义性。 证明：3）对文法的句子()()，存在两棵不同的语法分析树如下：SSS(S)SS(S)SεεεεSS((S)SS)Sεεεεεε所以文法是二义的。4）对文法的句子 abab，存在两棵不同的语法分析树如下：SSaSbSaSbSbSaεεaSbSSεεεε所以文法是二义的。5）对文法的句子 aaa，存在两棵不同的语法分析树如下：SSSSSSSSaaSSaaaa所以文法是二义的。3／7西北大学 Gong Xq龙书本科教学版习题解答仅供教学参考解答：1）S → SS+ | SS* | SS- | SS/ | id | num 2）list → list, id | id3）list → id, list | id4）E → E + T | E – T | T T → T * F | T / F | F F → id | num | (E)5）E → E + T | E – T | T T → T * F | T / F | FF → -E | +E | id | num | (E)1）证明：对语法分析树的结点数目使用数学归纳法。①归纳基础：当语法分析树有两个结点时，形如numnum111001生成的串分别为 11 和 1001，表示的值为 3 和 9，能被 3 整除。②归纳步骤：假设语法分析树的结点数目少于 n 时生成的二进制串的值能被 3 整除，那么当结点数目等于 n 时，语法分析树的根有下面两种可能的形式：4／7西北大学 Gong Xq龙书本科教学版习题解答仅供教学参考numnumnum10num1num2（1）对第一种情况，以 num1 为根的子树中结点数目少于 n，生成的二进制串 x 的值能被 3整除；那么 num 为根的语法分析树生成的二进制串为 x0，值为 x 的值乘以 2，能被 3 整除。（2）对第二种情况，以 num1 和 num2 为根的子树中结点数目都少于 n，生成的二进制串 x和 y 的值都能被 3 整除；那么，以 num 为根的语法分析树生成的二进制串为 xy，其值为 xval*2|y| +yval，也能被 3 整除。所以，文法生成的二进制串能被 3 整除。证毕。2）文法不能生成所有能被 3 整除的二进制串，例如串 10101