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