1.已知文法：
E→E+T | T
T→T*F | F
F→(E) | i
以句柄作为可归约串，写出符号串‘i+i*i#’的"移进-归约"分析过程。
答：该符号串‘i+i*i#‘的语法树如下：
符号串‘i+i*i#’的"移进-归约"分析过程如下：
|
步骤 |
符号栈 |
输入符号串 |
动作 |
|
（1） |
# |
i+i*i# |
移进 |
|
（2） |
#i |
+i*i# |
归约 |
|
（3） |
#F |
+i*i# |
归约 |
|
（4） |
#T |
+i*i# |
归约 |
|
（5） |
#E |
+i*i# |
移进 |
|
（6） |
#E+ |
i*i# |
移进 |
|
（7） |
#E+i |
*i# |
归约 |
|
（8） |
#E+F |
*i# |
归约 |
|
（9） |
#E+T |
*i# |
移进 |
|
（10） |
#E+T* |
i# |
移进 |
|
（11） |
#E+T*i |
# |
归约 |
|
（12） |
#E+T*F |
# |
归约 |
|
（13） |
#E+T |
# |
归约 |
|
（14） |
#E |
# |
接受 |
2.P121练习1的（1）（2）。
1）计算FIRSTVT和 LASTVT。
2）找三种关系对。
3）构造算符优先关系表。
答：文法为：S->a | ^ | (T)
T->T,S | S
(1) FIRSTVT(S)={a,^,(}
FIRSTVT(T)={, ,a,^,(}
LASTVT(S)={a,^,)}
LASTVT(T)={,,a,^,)}
(2) 三种关系对
=
(T)
#S#
<
#S
(T
,S
>
S#
T)
T,
(3)构造算符优先关系表
|
|
a |
^ |
( |
) |
, |
# |
|
a |
|
|
|
> |
> |
> |
|
^ |
|
|
|
> |
> |
> |
|
( |
< |
< |
< |
= |
< |
|
|
) |
|
|
|
> |
> |
> |
|
, |
< |
< |
< |
> |
> |
|
|
# |
< |
< |
< |
|
|
= |