(a b | b)* b a
