中国计量学院编译习题解答2借鉴.pdfVIP

文法 G[N] 为： N-D|ND D-0|1|2|3|4|5|6|7|8|9 G[N] 的语言是什么？ [ 答案 ] G[N] 的语言是 V+ 。V={0,1,2,3,4,5,6,7,8,9} N=ND=NDD =NDDDD...D=DD 已知文法 G[Z] ： Z-aZb|ab 写出 L(G[Z]) 的全部元素。 [ 答案 ] Z=aZb=aaZbb=aaa..Z...bbb= aaa..ab...bbb n n L(G[Z])={a b |n=1} 令文法 G[E] 为 : E-E+T|E-T T-T*F|T/F|F F-(E)|I 证明 E+T*F 是它的一个句型，指出这个句型的所有短语、直接短语和句柄。 [答案 ] 此句型对应语法树如右，故为此文法一个句型。 或者：因为存在推导序列 : E=E+T=E+T*F ，所以 E+T*F 句型。 此句型相对于 E 的短语有 :E+T*F ；相对于 T 的短语有 T*F, 直接短语为： T*F 。 句柄为： T*F 。 给出下列文法所对应的正规式： S-0A|1B A-1S|1 B-0S|0 [答案 ] 解方程组 S 的解： S=0A|1B A=1S|1 B=0S|0 将 A 、B 产生式的右部代入 S 中 S=01S|01|10S|10= （01|10 ）S| （01|10 ） 所以： S= (01|10)*(01|10) 为下边所描述的串写正规式，字母表是 {a,b}. a) 以 ab 结尾的所有串 b) 包含偶数个 b 但不含 a 的所有串 c) 包含偶数个 b 且含任意数目 a 的所有串 d) 只包含一个 a 的所有串 e) 包含 ab 子串的所有串 f) 不包含 ab 子串的所有串 [答案 ] 注意 正规式不唯一 a) (a|b)*ab b) (bb)* c) (a*ba*ba*)* d) b*ab* e) (a|b)*ab(a|b)* f) b*a* 请描述下面正规式定义的串 . 字母表 S = {0 ， 1}. a) 0*(10+)*0* b) (0|1)*(00|11) (0|1)* c) 1(0|1)*0 [答案 ] a) 每个 1 至少有一个 0 跟在后边的串 b) 所有含两个相继的 0 或两个相继的 1 的串 c) 必须以 1 开头和 0 结尾的串 设有文法 G[A] 的产生式集为 : A→ BaC|CbB B→Ac|c C→ Bb|b 试消除 G[A] 的左递归。 [答案 ] 提示：不妨以 A 、B 、C 排序 .先将 A 代入 B 中，然后消除 B 中左递归；再将 A 、B 代入 C 中。再消除 C 中左递归。 最后结果为 :G[A]: A→ BaC|CbB B→CbBcB|c B B →aCcB| ε C→cBbC|bC C → bBcBbC| ε 设文法 G 为 S A A BA | ε B aB | b (1) 证明它是 LR(1) 文法； (2)构造它的 LR(1) 分析表； (3)给出输入符号串 abab 的分析过程。 [答案 ] (1) 拓广文法 G’: (0) S S (1) S A (2) A BA (3) A ε (4) B aB ( FIRST(A) = { ε, a,