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))
短语:T,^,a,(^,a),(T),(T,(^,a))
直接语句:T,^,a
句柄:T
2.构造上下文无关文法，描述语言：
｛anbn|n>=0｝
｛ambn|m>=n>=0｝
｛(ab)n|n>=0｝
｛ambn|m,n>=1｝
（1）文法：G(T):T->ab|aTb｜
T=>aTb=>aaTbb=>aaabbb --- 类推
（2）文法：G(T):T->aTb|a｜
T=>aTb=>aaTbb=>aaabb ---类推
(3) 文法：G(T):T->ab|aTb|
T=>aTb=>aaTbb=>aaabbb ---类推
（4）文法：G(T):T->aTb|aT|Tb|a|b
T=>aTb=>aaTb=>aaaTb=>aaabb ---类推
T=>aTb=>aTbb=>aTbbb=>aabbb --类推
3.如果if语句的方法：
stmt->if expr then stmt
| if expr then stmt else stmt
| other
句子if E1 then if E2 then S1 else S2是否有两棵不同的语法树？说明了什么？
答:句子if E1 then if E2 then S1 else S2有两棵不同的语法树，说明了这个文法有二义性。