start S
terminal a b ;

S -> a b S b ;
S -> a a ;

enddef
abaab