内容发布更新时间 : 2024/12/25 1:40:47星期一 下面是文章的全部内容请认真阅读。
(1)FIRSTVT-LASTVT表:
非终结符 E T F (2)算符优先关系表: + x ( ) i # + > > < > > < x < > < > > < ( < < < < ) > > = > > i < < < < # > > > > = FIRSTVT + × i ( x i ( i ( LASTVT + × ) i × ) i ) i 优先关系表中无多重定义,此文法是算符优先文法
(3)对输入串i+i#的算符优先分析过程为:
题目2:作业、习题6.1、复习: 文法G[S]:S->a|^|(T) T->T,S|S c、算符优先归约输入串(a,a)#
文法G[S]:S->a|^|(T),T->T,S|S
(1) 计算G[S]的FIRSTVT、LASTVT
(2) 改造算符优先关系表并说明G[S]是否算符优先文法
(3) 给出输入串(a,a)#的算符优先分析过程,判断其是否文法G的句子 。 答:文法展开为:S→a
S→? S→(T) T→T,S T→S
9
(1)FIRSTVT-LASTVT表:
非终结符 S T
(2)算符优先关系表:
a ^ ( ) , # a < < < ^ < < < ( < < < ) > > = > > , > > < > > # > > > = FIRSTVT a ^ ( , a ^ ( LASTVT a ^ ) , a ^ ) 表中无多重入口,所以是算符优先(OPG)文法。
(3)对输入串(a,a)#的算符优先分析过程为:
栈 # #( #(a #(N #(N, #(N,a #(N,N #(N #(N) #N 当前输入字符 ( a , , a ) ) ) # # 剩余输入串 a,a)# ,a)# a)# a)# )# # # # 动作 Move in Move in Reduce:S→a Move in Move in Reduce:S→a Reduce:T→T,S Move in Reduce:S→(T) 可见输入串(a,a)#是文法的句子。
题目3:自习、书本练习6.4,参考答案见《z6 书本练习6.4.doc》 已知文法G[S]:
S?S;G S?G G?G(T) G?H H?a H?(S) T?T+S T?S
c、算符优先归约输入串a;(a+a)#
(1)构造算符优先关系表
FIRSTVT(S)={;}∪FIRSTVT(G) = {; , a , ( } FIRSTVT(G)={ ( }∪FIRSTVT(H) = {a , ( } FIRSTCT(H)={a , ( }
FIRSTVT(T) = {+} ∪FIRSTVT(S) = {+ , ; , a , ( } LASTVT(S) = {;} ∪LASTVT(G) = { ; , a , )} LASTVT(G) = { )} ∪ LASTVT(H) = { a , )}
10
LASTVT(H) = {a, }}
LASTVT(T) = {+ } ∪LASTVT(S) = {+ , ; , a ,} } 即: FIRSTVT LASTVT S ; , a , ( ; , a , ) G a , ( a , ) H a , ( a , ) T + , ; , a , ( + , ; , a ,) 由S?S;G LASTVT(S) > ; ; < FIRSTVT(G) 由G?G(T…
LASTVT(G) > ( ( < FIRSTVT(T) 由G?…T)
LASTVT(T) > ) 由G?…(T)
( = ) 由T?T+S
LASTVT(T) > + + < FIRSTVT(S) 由H?(S)
( < FIRSTVT(S) LASTVT(S) > ) ( = ) 由S-> #S#
#< FIRSTVT(S) LASTVT(S) > # # = #
11
; ( ) a + # ; > < > > < < ( < < > > < < ) > = > > > a < < < < + > < > > > # > > > = 由优先关系表中所有符号对的关系唯一,可判定文法G[S]是算符优先文法。
(2) 分析a;(a+a) // S?S;G |G G?G(T) |H H?a |(S) T?T+S |S 1 2 3 4 5 6 7 8 9 10 11 12 13 14
分析栈 # #a #H #H; #H;( #H;(a #H;(H #H;(H+ #H;(H+a #H;(H+H #H;(T #H;(T) #H;H #S 优先关系 < > < < < > < < > > = > > = 当前字符 a ; ; ( a + + a ) ) ) # # # 剩余输入串 ;(a+a)# (a+a)# (a+a)# a+a)# +a)# a)# a)# )# # # # 动作 移进 归约H?a 移进 移进 移进 归约H?a 移进 移进 归约H?a 归约T?T+S 移进 归约H?(S) 归约S?S;G 接受 12