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}
if语句
(1)设文法 G(T):T->ab|aTb|ε
if(n>0)
T->ab|aTb
else
T->ε
(2)设文法G(T):T->ab|a|aTb|ε
if(m>=n=0)
T->a|ε
else if(m>=n>0)
T->ab或T->aTb