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)) T,(^,a) (^,a) *,a ^ a
直接短语:^,a
句柄:^
2.构造上下文无关文法,描述语言:
{anbn|n>=0}
if语句
设:G(T):T=> ab|aTb|ε
当n>=0
if(n>0):
T=>ab|aTb
else if(n=0):
T=>ε
{ambn|m>=n>=0}
if语句
设:G(T)=>a|aTb|ε
当m>=n>=0时:
if(m>=n>0):
T=>aTb
else if (m>=n=0):
T=>a|ε