14、算符优先分析

1.已知算符优先关系矩阵如下表：

	+	*	i	(	)	#
+	>	<	<	<	>	>
*	>	>	<	<	>	>
i	>	>			>	>
(	<	<	<	<	=
)	>	>			>	>
#	<	<	<	<		=

 

 

 

 

 

 

 

 

 

 

 

 

　　

写出符号串(i+i)*i#的算符优先分析过程。

 

2.接上个作业（P121练习1），完成4），5）两个步骤。

　　1）计算FIRSTVT和 LASTVT。

　　2）找三种关系对。

　　3）构造算符优先关系表。

　　4）是否算符优先文法？

　　5）给出输入串（a，（a，a））#的算符优先分析过程。

 

3.写出a+b*(c-d)+e/(c-d)↑n 的逆波兰表达式，三元式，四元式。

--------------------------------------------------------------------------------------

 解：

1、

	栈	关系	输入串	动作
1	#	<	(i+i)*i#	移进
2	#(	<	i+i)*i#	移进
3	#(i	>	+i)*i#	规约
4	#(N	<	+i)*i#	移进
5	#(N+	<	i)*i#	移进
6	#(N+i	>	)*i#	规约
7	#(N+N	>	)*i#	规约
8	#(N	=	)*i#	移进
9	#(N)	>	*i#	规约
10	#N	<	*i#	移进
11	#N*	<	i#	移进
12	#N*i	>	#	规约
13	#N*N	>	#	规约
14	#N		#	接受

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2、

　　(1) 　　     

　　S->a | ^ | (T)

　　T->T,S | S

　　　  FIRSTVT(S)={a,^,(}

　　　  FIRSTVT(T)={, ,a,^,(}

　　　  LASTVT(S)={a,^,)}

　　　  LASTVT(T)={,,a,^,)}

　　(2)

　　(3)

	a	^	(	)	,	#
a				>	>	>
^				>	>	>
(	<	<	<	=	<
)				>	>	>
,	<	<	<	>	>
#	<	<	<			=

 

 

 

 

 

 

 

 

 

 

　　

 

 

 

 

 

(4)　　

　　符合

 

　　（5）

栈	关系	输入串	动作
#	<	(a,(a,a))#	移进
#(	<	a,(a,a))#	移进
#(a	>	,(a,a))#	规约
#(N	<	,(a,a))#	移进
#(N	<	(a,a))#	移进
#(N,(	<	a,a))#	移进
#(N,(a	>	,a))#	规约
#(N,(N	<	,a))#	移进
#(N,(N	<	a))#	移进
#(N,(N,a	>	))#	规约
#(N,(N,N	>	))#	规约
#(N,(N	<	))#	移进
#(N,(N)	=	)#	规约
#(N,(N	>	)#	规约
#(N	=	)#	移进
#(N)	>	#	规约
#(N		#	接受

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

void Isleft( )
{

　　 Stack s;
　　k=1;
　　S[k]=’#’;
　　do{ 
　　　　a=S[k+1]；
　　　　if (S[k]∈VT) j=k;
　　　　else j=k-1;
　　　　while(S[j]>a)
　　　　{

　　　　　　 do{

　　　　　　　　Q=S[j];
　　　　　　　　if(S[j-1] ∈VT) j=j-1;
　　　　　　　　else j=j-2;
　　　　　　}while(S[j]>Q);
　　　　　　k=j+1;
　　　　　　S[k]=N;
　　　　}
　　　　if(S[j]　　　　{

　　　　　　 k=k+1;
　　　　　　S[k]=a;
　　　　}
　　}while(a!=’#’);
}

 

4.

(1)

　　 abcd-*+ecd-n↑/+

　　三元式：(1) (- c,d)

　　　　　　(2) (↑ (1),n)

　　　　　　(3) (/ e,(2))

　　　　　　(4) (* b,(1))

　　　　　　(5) (+ a,(4))

　　　　　　(6) (+ (4),(3))

　　四元式：(1) (- c,d,t1)

　　　　　　(2) (↑ t1,n,t2)

　　　　　　(3) (/ e,t2,t3)

　　　　　　(4) (* b,t1,t4)

　　　　　　(5) (+ a,t4,t5)

　　　　　　(6) (+ t5,t3,t6)