编译原理龙书结果解析.docVIP

第四章部分习题解答 Aho：《编译原理技术与工具》书中习题 （Aho）4.1 考虑文法 S → ( L ) | a L → L, S | S 列出终结符、非终结符和开始符号 解： 终结符：(、)、a、， 非终结符：S、L 开始符号：S 给出下列句子的语法树 (a, a) (a, (a, a)) (a, ((a, a), (a, a))) 构造b)中句子的最左推导 S((L)((L, S) ((S, S) ((a, S) ((a, a) S((L)((L, S) ((S, S) ((a, S) ((a, (L)) ((a, (L, S)) ((a, (S, S)) ((a, (a, S) ((a, (a, a)) S((L)((L, S) ((S, S) ((a, S) ((a, (L)) ((a, (L, S)) ((a, (S, S)) ((a, ((L), S)) ((a, ((L, S), S)) ((a, ((S, S), S)) ((a, ((a, S), S)) ((a, ((a, a), S)) ((a, ((a, a), (L))) ((a, ((a, a), (L, S))) ((a, ((a, a), (S, S))) ((a, ((a, a), (a, S))) ((a, ((a, a), (a, a))) 构造b)中句子的最右推导 S((L)((L, S) ((L, a) ((S, a) ((a, a) S((L)((L, S) ( (L, (L)) ((L, (L, S)) ((L, (L, a)) ((L, (S, a)) ((L, (a, a)) ((S, (a, a)) ((a, (a, a)) S((L)((L, S) ((L, (L)) ((L, (L, S)) ((L, (L, (L))) ((L, (L, (L, S))) ((L, (L, (L, a))) ((L, (L, (S, a))) ((L, (L, (a, a))) ((L, (S, (a, a))) ((L, ((L), (a, a))) ((L, ((L, S), (a, a))) ((L, ((L, a), (a, a))) ((L, ((S, a), (a, a))) ((L, ((a, a), (S, S))) ((S, ((a, a), (a, a))) ((a, ((a, a), (a, a))) 该文法产生的语言是什么 解：设该文法产生语言（符号串集合）L，则 L = { (A1, A2, …, An) | n是任意正整数，Ai=a，或Ai∈L，i是1～n之间的整数} （Aho）4.2考虑文法 S→aSbS | bSaS | ? 为句子构造两个不同的最左推导，以证明它是二义性的 S(aSbS(abS(abaSbS(ababS(abab S(aSbS(abSaSbS(abaSbS(ababS(abab 构造abab对应的最右推导 S(aSbS(aSbaSbS(aSbaSb(aSbab(abab S(aSbS(aSb(abSaSb(abSab(abab 构造abab对应语法树 该文法产生什么样的语言？ 解：生成的语言：a、b个数相等的a、b串的集合 （Aho）4.3 考虑文法 bexpr → bexpr or bterm | bterm bterm → bterm and bfactor | bfactor bfactor → not bfactor | ( bexpr ) | true | false 试为句子not ( true or false) 构造分析树 解： 试证明该文法产生所有布尔表达式 证明： 一、首先证明文法产生的所有符号串都是布尔表达式 变换命题形式——以bexpr、bterm、bfactor开始的推导得到的所有符号串都是布尔表达式 最短的推导过程得到true、false，显然成立 假定对步数小于n的推导命题都成立 考虑步数等于n 的推导，其开始推导步骤必为以下情况之一 bexpr ( bexpr or bterm bexpr ( bterm bterm ( bterm and bfactor bexpr ( bfactor bfactor ( not bfactor bfactor ( ( bexpr ) 而后继推导的步数显然n，因此由归纳假设，第二步句型中的NT推导出的串均为布尔表达式，这些布尔表达式经过or、and、not运算或加括号，得到的仍是布尔表达式 因此命题一得证。 二、证明所有布尔表达式均可由文法生成 变换命题——所有析取式均可由bexpr推导出来，所有合取式均可由bterm（bexpr）推导出来，所有对子布尔表达式施加not运算或加括号或简单t