A -> a b b a | a b b A b b a

