(ab|b)*ba
