(ab|b)*ba