q0 _ q1 _ >

q1 a qa A >
q1 b qb B >
q1 A q1 A >
q1 B q1 B >
q1 _ q2 _ <

q2 A q2 a <
q2 B q2 b <
q2 _ HA _ -

qa a qa a >
qa b qa b >
qa _ qa' _ >

qb a qb a >
qb b qb b >
qb _ qb' _ >

qa' a qa' a >
qa' b qa' b >
qa' _ q3 a <

qb' a qb' a >
qb' b qb' b >
qb' _ q3 b <

q3 a q3 a <
q3 b q3 b <
q3 _ q3' _ <

q3' a q3' a <
q3' b q3' b <
q3' A q3' A <
q3' B q3' B <
q3' _ q1 _ >

q0

_aba