(ba*b*|ab*a*)*