(a) Replace leftmost a with X, then replace leftmost b with y

(b) Reverse direction, position head over the leftmost a, and return to to
repeat step (a)

(c) Scan y's to see that all a's have been matched with all b's

Reject.
Reject.