q1: #->[r]q8 1->x[r]q3 0->x[r]q2
q2: 0->[r]q2 1->[r]q2 #->[r]q4
q3: 0->[r]q3 1->[r]q3 #->[r]q5
q4: x->[r]q4 0->x[l]q6
q5: x->[r]q5 1->x[l]q6
q6: 0->[l]q6 1->[l]q6 x->[l]q6 #->[l]q7
q7: 0->[l]q7 1->[l]q7 x->[r]q1
q8: x->[r]q8 _->[r]accept