作业三

1.已知文法：

S->a|^|(T)

T->T,S|S

分析句型（T,(^,a))，求全部的短语、直接短语和句柄。

 推导步骤为：

S=> ( T ) => ( T , S ) =>  ( T ,( T ) ) =>  ( T ,( T , S ) ) => ( T ,( T , a ) ) => ( T ,( S , a ) ) => ( T ,( ^ , a ) ) 

 

 

 短语：

^、a、^,a、(^,a)、T,(^,a)、(T,(^,a))

直接短语：

^,a

句柄：

^

2.构造上下文无关文法，描述语言：

｛anbn|n>=0｝

S=>aSb|ab|ε

if语句

if （n>=0）

then aSb|ab:=S;

else

   ε:=S;

 

｛ambn|m>=n>=0｝

S=>aSb|a|ab|ε

if语句

if (m>=n>=0)

then aSb|a|ab:=S;

else 

   ε:=S