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

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

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