1.已知文法:
E→E+T | T
T→T*F | F
F→(E) | i
以句柄作为可归约串,写出符号串‘i+i*i#’的"移进-归约"分析过程。
解:
# | i+i*i# | 移进 |
#i | +i*i# | 归约 |
#F | +i*i# | 归约 |
#T | +i*i# | 归约 |
#E | +i*i# | 移进 |
#E+ | i*i# | 移进 |
#E+i | *i# | 归约 |
#E+F | *i# | 归约 |
#E+T | *i# | 移进 |
#E+T* | i# | 移进 |
#E+T*i | # | 归约 |
#E+T*F | # | 归约 |
#E+T | # | 归约 |
#E | # | 接受 |
2.P121练习1的(1)(2)。
1)计算FIRSTVT和 LASTVT。
2)找三种关系对。
3)构造算符优先关系表。
解:
E -> #S#
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 | > | > | > | |||
^ | > | > | > | |||
, | < | < | > | < | > | |
( | < | < | < | < | = | |
) | > | > | > | |||
# | < | < | < | = |