编译原理：构造产生此语言的上下文无关文法G

题目

编译原理：构造产生此语言的上下文无关文法G
有语言L(G)={adaR | a∈(a,b)*,aR 为a之逆},试构造产生此语言的上下文无关文法G
dos62
可不可以来点注释哦?

答案

S->aAa,
S->bAb,
A->aAa,
A->bAb,
A->d;

修改版：
S->aSa,
S->bSb,
S->d.
这没什么好注释的,产生式就是个递归形式,从开始符号出发,比如,
S->aSa,
S->abSba,
S->abaSaba,
S->abadaba