编译原理教程课后习题答案——第三节.doc

第三章 语法分析 3.1 完成下列选择题： (1) 文法G：S→xSx|y所识别的语言是 。 a. xyx b. (xyx)* c. xnyxn(n≥0) d. x*yx* (2) 如果文法G是无二义的，则它的任何句子α 。 　 a. 最左推导和最右推导对应的语法树必定相同 b. 最左推导和最右推导对应的语法树可能不同 c. 最左推导和最右推导必定相同 d. 可能存在两个不同的最左推导，但它们对应的语法树相同 (3) 采用自上而下分析，必须 。 a. 消除左递 a. 必有ac归 b. 消除右递归 c. 消除回溯 d. 提取公共左因子 (4) 设a、b、c是文法的终结符，且满足优先关系ab和bc，则 。 b. 必有ca c. 必有ba d. a～c都不一定成立 (5) 在规范归约中，用 来刻画可归约串。 a. 直接短语 b. 句柄 c. 最左素短语 d. 素短语 (6) 若a为终结符，则A→α·aβ为 项目。 a. 归约 b. 移进 c. 接受 d. 待约 (7) 若项目集Ik含有A→α· ，则在状态k时，仅当面临的输入符号a∈FOLLOW(A)时，才采取“A→α· ”动作的一定是 。 a. LALR文法 b. LR(0)文法 c. LR(1)文法 d. SLR(1)文法 (8) 同心集合并有可能产生新的 冲突。 a. 归约 b. “移进”/“移进” c.“移进”/“归约” d. “归约”/“归约” 【解答】 (1) c (2) a (3) c (4) d (5) b (6) b (7) d (8) d 3.2 令文法G[N]为 G[N]: N→D|ND D→0|1|2|3|4|5|6|7|8|9 (1) G[N]的语言L(G[N])是什么? (2) 给出句子0127、34和568的最左推导和最右推导。 【解答】 (1) G[N]的语言L(G[N])是非负整数。 (2) 最左推导： NNDNDDNDDDDDDD0DDD01DD012D0127 NNDDD3D34 NNDNDDDDD5DD56D568 最右推导： NNDN7ND7N27ND27N127D1270127 NNDN4D434 NNDN8ND8N68D68568 3.3 已知文法G[S]为S→aSb|Sb|b，试证明文法G[S]为二义文法。 【解答】 由文法G[S]：S→aSb|Sb|b，对句子aabbbb可对应如图3-1所示的两棵语法树。 图3-1 句子aabbbb对应的两棵不同语法树 因此，文法G[S]为二义文法(对句子abbb也可画出两棵不同语法树)。 3.4 已知文法G[S]为S→SaS|ε，试证明文法G[S]为二义文法。 【解答】 由文法G[S]：S→SaS|ε，句子aa的语法树如图3-2所示。 图3-2 句子aa对应的两棵不同的语法树 由图3-2可知，文法G[S]为二义文法。 3.5 按指定类型，给出语言的文法。 (1) L={aibj|j＞i≥0}的上下文无关文法； (2) 字母表Σ={a,b}上的同时只有奇数个a和奇数个b的所有串的集合的正规文法； (3) 由相同个数a和b组成句子的无二义文法。 【解答】 (1) 由L={aibj|j＞i≥0}知，所求该语言对应的上下文无关文法首先应有S→aSb型产生式，以保证b的个数不少于a的个数；其次，还需有S→Sb或S→b型的产生式，用以保证b的个数多于a的个数。因此，所求上下文无关文法G[S]为 G[S]：S→aSb|Sb|b (2) 为了构造字母表Σ={a,b}上同时只有奇数个a和奇数个b的所有串集合的正规式，我们画出如图3-3所示的DFA，即由开始符S出发，经过奇数个a到达状态A，或经过奇数个b到达状态B；而由状态A出发，经过奇数个b到达状态C(终态)；同样，由状态B出发经过奇数个a到达终态C。 由图3-3可直接得到正规文法G[S]如下： G[S]：S→aA|bB A→aS|bC|b B→bS|aC|a C→bA