G(S)S→ABBAA→a|eB→b|e;G(S)S→aSb|PP→bPc|bQcQ→Qa|a;G(S)S→iCtS|iCtSeS|aC→b