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))

 

 

 

 

 

 

 

 

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

｛anbn|n>=0｝

｛ambn|m>=n>=0｝

if语句

文法：E→aEb|ab|ε

if语句：

　　<赋值语句>→ab：=E

　　<条件语句>→if n>=0 then

　　　　　　　　　　aⁿbⁿ：=E

　　　　　　　　else

　　　　　　　　　　ε：=E

 

｛a^mbⁿ|m>=n>=0｝

文法：E→aaEb|aab|ε

if语句

　　<赋值语句>→aab：=E

　　<条件语句>→if m>n>=0 then

　　　　　　　　　　a^mbⁿ：=E

　　　　　　　　else

　　　　　　　　　　ε：=E