q0 0 a0 a R
q0 1 a1 b R
q0 : accept : R
a0 0 a0 0 R
a0 1 a0 1 R
a0 : b0 : R
b0 a b0 a R
b0 b b0 b R
b0 _ reject _ L
b0 0 r0 a L
b0 1 s0 b L
a1 0 a1 0 R
a1 1 a1 1 R
a1 : b1 : R
b1 a b1 a R
b1 b b1 b R
b1 _ reject _ L
b1 0 s0 a L
b1 1 r0 b L
r0 a r0 a L
r0 b r0 b L
r0 : r1 : L
r1 0 r1 0 L
r1 1 r1 1 L
r1 a q0 a R
r1 b q0 b R
s0 a s0 a L
s0 b s0 b L
s0 : s1 : L
s1 0 s1 0 L
s1 1 s1 1 L
s1 a s2 0 L
s1 b s2 1 L
s2 _ q0 _ R
s2 a s3 a R
s2 b s3 b R
s3 0 s3 0 R
s3 1 s3 1 R
s3 : s4 : R
s4 a s4 a R
s4 b s4 b R
s4 0 s5 0 L
s4 1 s5 1 L
s4 _ reject _ L
s5 a s0 0 L
s5 b s0 1 L