1.已知文法：
S->a|^|(T)
T->T,S|S
分析句型（T,(^,a))，求全部的短语、直接短语和句柄。
2.构造上下文无关文法，描述语言：
｛anbn|n>=0｝
｛ambn|m>=n>=0｝
if语句
答：
｛anbn|n>=0｝
S->aSb | ab
｛ambn|m>=n>=0｝
S=>aSb|a|ab|ε
if语句
if -> if<条件> then <语句> | if<条件> then <语句> else <语句
1.已知文法：
S->a|^|(T)
T->T,S|S
分析句型（T,(^,a))，求全部的短语、直接短语和句柄。
2.构造上下文无关文法，描述语言：
｛anbn|n>=0｝
｛ambn|m>=n>=0｝
if语句
答：
｛anbn|n>=0｝
S->aSb | ab
｛ambn|m>=n>=0｝
S=>aSb|a|ab|ε
if语句
if -> if<条件> then <语句> | if<条件> then <语句> else <语句