q0 1 q0 a R
q0 _ q1 _ L
q1 1 q1 1 L
q1 a q2 1 R
q2 1 q2 1 R
q2 _ q1 1 L
q1 _ qf _ R