(RULES
b b b  -> a b ,
a a  -> a b a ,
a a a  -> a b b 
)