1.已知文法:
S->a|^|(T)
T->T,S|S
分析句型(T,(^,a)),求全部的短语、直接短语和句柄。
推导:S->(T)->(T,S)->(T,(T))->(T,(T,S))->(T,(S,S))->(T,(^,S))->(T,(^,a))
语法树:
全部短语
(T,(^a)) T,(^,a) (^,a) ^,a ^ a
直接短语
a ^
句柄
^
2.构造上下文无关文法,描述语言:
{anbn|n>=0}
{ambn|m>=n>=0}
if语句
设文法:G(T):T->anbn|ε
if(n=0)
T->ε
else if(n>0)
T->anbn
(2)文法:G(T):T->ambn|ε
if(m=n=0)
T->ε
else if(m=n>0)
T->anbn或T->ambm
else if(m>n>0)
T->ambn
else
T->am|ε