一、填空题|（每题4分，共20分）
1. 乔母斯基定义的3型文法（线性文法）产生式形式 A→Ba|a,或A→aB|a，A，B∈Vn,
a,b∈Vt 。
2.语法分析程序的输入是单词符号，其输出是语法单位。
3 型为 B → .aB 的LR（0）项目被称为移进项目，型为 B → a.B 的LR（0）
项目被称为待约项目，
4.在属性文法中文法符号的两种属性分别为继承属性和综合属性。
5、运行时存贮管理方案有静态存储分配、动态存储分配和堆式存储分配和方案。
二.已知文法 G(S)
(1) E → T | E+T
(2) T → F | F*F
(3) F →（E）| i
（1）写出句型（T*F+i）的最右推到并画出语法树。
（4分）
（2）写出上述句型的短语，直接短语和句柄。
（4分）
答：（1）最右推到（2分）
E ==> T ==>
F ==> (E) ==> (E+T) ==> (E+F) ==> (E+i) ==> (T+i) ==> (T*F+i)
(2) 语法树（2分）
（3）（4分）
短语：（T*F+i），T*F+i ，T*F ， i
直接短语：T*F ， i
句柄：T*F
三. 证明文法G(S) ：S → SaS |ε是二义的。
（6分）
答：句子aaa对应的两颗语法树为：
因此，文法是二义文法
四.给定正规文法G（S）：
(1) S → Sa | Ab |b
(2) A → Sa
请构造与之等价的DFA。
（6分）
答：对应的NFA为：（6分）
状态转换表：
a b
{F} Φ{S}
{S} {S,A} Φ
{S,A} {S,A} {S}
五. 构造识别正规语言b*a(bb*a)*b* 最小的DFA（要求写出求解过程）。
（15分）答：（1）对应的NFA（5分）
a b
{0} {1，3} {0}
{1,3} Φ{2，3}
{2,3} {1,3} {2,3}
（5分）
六. 已知文法G(S) :
(1) S → ^ | a | (T)
(2) T → T,S | S
试：（1）消除文法的左递归；（4分）
（2）构造相应的first 和 follow 集合。
（6分）
答：（1）消除文法的左递归后文法 G’（S）为：
(1) S → ^ | a | (T)
(2) T → ST’ | S
(3) T’→ ,ST’ |ε（4分）
七. 已知文法 G(S) :
(1) S → SiA | A (2) A → A+B | B (3) B → A* | （
试构造非终止符的
firstVT 和lastVT 集合。
（10分） 八.已知文法 G(S) :
(1) S → B B
(2) B → a B
(3) B → b
的follow 集合如表：
试：（1）给出该文法的LR （0）项目集规范族划分； （2）填写相应的SLR （1）的分析表。
（15分）
答：（1）LR （0）项目集规范族划分(8分)
九．设某语言的not-then-else 语句的语法形式为：S → not E then S 1 其语义解释为：
I 0 S ’→ .S S → .BB B → .aB B → .b ---→ I 1 ---→ I 2 --→ I 3 --→ I 4
S B a b I 1 S ’→ S. I 2 S → B.B B → .aB B → .b ---→ I 5 --→ I 3 --→ I 4 B a b I 3
B → a.B B → .aB B → .b ---→ I 6
--→ I 3
--→ I 4 B a b I 4 B → b. I 5 S → BB. I 6 B → aB.
针对自上而下的语法分析器，
(1) 分段产生式；（3分）
(2) 写出每个产生式对应的语义动作。
（7分）
答：（1）分段产生式（3分）及语义动作(7分)
(1) R → not E then { Backpatch（$2.FC ，nxq ）;
$$.chain = $2.Tc }
(2) S → R S
{ Backpatch（$2.chain ， nxq ）}
1
一、填空题|（每题4分，共20分）
1. 乔母斯基定义的2型文法（上下文无关文法）产生式形式 A→β,A∈Vn, β∈V+。
2.词法分析程序的输入是字符串，其输出是单词符号。
3 算符有限分析方法每次都是对最左素短语进行规约。
型为 B → aB. 的LR（0）项
目被称为规约项目。
4、写出x:=b*(d-e)/(c-d)+e的逆波兰式__xbde-*cd-/e+:=__。
5、常用的两种动态存贮分配办法是__栈式存储分配和堆式存储__分配。
二．已知文法G(S) :
(1) S → ^ | a | (T)
(2) T → T,S | S
试：（1）写出句型（a,(a,a))的最左推到并画出语法树。
（4分）
（2）写出上述句子的短语，直接短语和句柄。
（4分）
答：（1）最左推到（2分）
S ==> （T） ==> （T,S）==> (S,S) ==> (a,S) ==> (a,(T)) ==> (a,(T,S)) ==> (a,（S,S)) ==> (a,（a,S)) ==> (a,（a,a))
(2) 语法树（2分）
（3）（4分）
短语：（a,(a,a)），a,(a,a) ， (a,a) ， a,a , a
直接短语：a
句柄：a
三．证明文法 G(S) ： S → aSb | Sb | b 是二义的。
（6分）
答：句子 aabbbb对应的两颗语法树为：
因此，文法是二义文法
四.给定正规文法G（S）：
(1) S → aA
(2) A → aB | bA
（3）B → aA | b
请构造与之等价的DFA。
（6分）
答：对应的DFA为：（6分）
五. 构造识别正规语言(ab*|a)*最小的DFA（要求写出求解过程）。
（15分）答：（1）对应的NFA （5分）
a b
{1} {1,2} Φ
{1,2} {1,2} {1,2}
（5分）
六. 已知文法G(S) :
(1) S → ^ | a | (T)
(2) T → ST’ | S
(3) T’→ ,ST’ |ε
试：求first和follow集合，构造改文法的LL（1）分析表。
（10分）
集合（5分）
first follow
S a ^ ( # , )
T a ^ ( )
T’, ε)
七. 已知文法G(S) :
(1) S → SiA | A
(2) A → A+B | B
(3) B → A* | （
:
八已知文法G(S) :
(1) S → a | aAb | b | bBa
(2) A → 1A0 | ε
(3) B → 1B0 | ε
求：该文法的LR（0）项目集规范族。
（15分）答：
九．设某语言的DO-while 语句的语法形式为： S → do S
while E
1
其语义解释为：
针对自上而下的语法分析器，
(1) 分段产生式；（3分）
(2) 写出每个产生式对应的语义动作。
（7分）
答：（1）分段产生式（3分）
G(S) : (1) R → do
while
(2) U → R S
1
(3) S → U E
(2) 产生式对应的语义动作(7分)
(1) R → do { $$.loop = nxq }
(2) U → R S
while { $$.loop = $1.loop }
1
(3) S → U E { backpatch（$2.FC ， $1.loop ）；
Backpatch（$2.TC ， nxq ） }。