编译原理习题解答.docxVIP

第二章：习题2-4 Table表 var x,y; procedure p; var a; procedure q; var b; begin b:=10; en d; procedure s; var c,d; procedure r; var e,f; begin call q; en d; begin call r; en d; begin call s; en d; begin call p; end 根据：Page289,变量table:array[0..txmax] of record 结构体以及block函数得到下表，而表中各部分的含义, 见教材 Page18,Page19 Name Ki nk Val /Level Adr Size x variable 0 3 0 y variable 0 4 0 p procedur 0 1 0 a variable 1 3 0 q procedur 1 3 4 s procedur 1 7 0 c variable 2 3 0 d variable 2 4 0 r procedur 2 0 0 第三章 文法和语言 写一文法，使其语言是偶正整数的集合 要求： 允许 0 打头 不允许 0 打头 解： ⑴ G[S]=({S,P,D,N},{0,1,2, …,9},P,S) P: S PD|D P-NP|N D 0|2|4|6|8 N-0|1|2|3|4|5|6|7|8|9 G[S]=({S,P,R,D,N,Q },{0,1,2, …,9},P,S) P: S PD|P0|D P-NR|N R-QR|Q D 2|4|6|8 N-1|2|3|4|5|6|7|8|9 Q-0|1|2|3|4|5|6|7|8|9 已知文法 G： 表达式 ::= 项|表达式 +项|表达式 -项 项::= 因子|项*因子|项/因子 因子 ::=( 表达式 )|i 。 试给出下述表达式的推导及语法树。 i; (2)(i) (3)i*i; (4)i*i+i; (5)i+(i+i); (6)i+i*i 。 解： v=表达式 =项 =因子 =i=w v=表达式 =项 =因子 =( 表达式 )=( 项)=( 因子 )=(i)=w v=表达式 =项 =项*因子 = 因子*因子=i*i=w v=表达式 =表达式+项 =项+项=项*因子+项 =因子 * 因子 +因子 =i*i+i=w v=表达式 =表达式+项 =项+项= 因子+因子=i+( 表达式) = i+( 表达式 +项 )=i+( 项 +项 )= i+( 因子 +因子 )=i+(i+i)=w v=表达式 =表达式+项 =项+项= 因子+项=i+项 =i+ 项 * 因子 = i+ 因子 * 因子 = i+i*i=w 语法树见下图 (3)i*i＜表达式＞I＜项＞I＜因子＞Ii＜表达式＞＜项＞＜因子＞（ ＜表达式＞）＜项＞＜因子＞＜表达式＞I＜项＞＜项＞ * (3)i*i ＜表达式＞ I ＜项＞ I ＜因子＞ I i ＜表达式＞ ＜项＞ ＜因子＞ （ ＜表达式＞） ＜项＞ ＜因子＞ ＜表达式＞ I ＜项＞ ＜项＞ * ＜ 因子＞ I I ＜因子＞ i (4) i*i+i ⑸ i+(i+i) ⑹ i+i*i ＜表达式＞ ＜表达式＞ ＜表达式＞ ＜表达式＞ + ＜ 项＞ \o Current Document I I ＜项 ＞ ＜因子＞ I ＜项＞ * ＜因子＞ i \o Current Document I I ＜因子＞ i ＜表达式＞ + ＜ ＜项＞ ＜因子＞ ＜因子＞ （ ＜ 表达式＞ ） ＜表达式＞ + ＜ 项＞ ＜项＞ ＜因子＞ ＜因子＞ i 为句子i+i*i 构造两棵语法树，从而证明下述文法 G[＜表达式 ＞]是二义的。 ＜表达式＞::=i|（＜ 表达式＞）|＜表达式 ＞＜运算符 ＞＜表达式＞ ＜运算符＞::=+卜|*|/ 解：为句子i+i*i构造的两棵语法树如下： ＜表达式＞ ＜表达式＞ ＜表达式＞ + ＜ 表达式＞ i ＜表达式＞ * ＜ 表达式＞ ＜表达式＞ + ＜ 项＞ I /K ＜项＞ ＜项＞ * ＜因子＞ ＜因子＞ ＜因子＞ i ＜表达式＞ * ＜ 表达式＞ ＜表达式＞ + ＜ 表达式＞ i 所以，该文法是二义的。 习题1中的文法G[S]是二义的吗？为什么？ 答：是二义的。因为对于句子 abc可以有两种不同的生成树，即： S=Ac=abc和S=aB=abc 11.令文法G[E]为： E T|E+T|E-T T F|T*F|T/F F (E)|i 证明E+T*F是它的一个句型，指出这个句型的所有短语、直接短语和句柄。 解：可为E+T*F构造一棵语法树(见下图)，所以它是句型。 E /T\ E + T T * F 从语法树中容易看出，E+T*F