q0: 0->(B, R, q1) 1->(B, R, q5) B->()
q1: 0->(0, R, q1) 1->(1, R, q2) B->()
q2: 0->(1, L, q3) 1->(1, R, q2) B->(B, L, q4)
q3: 0->(0, L, q3) 1->(1, L, q3) B->(B, R, q0)
q4: 0->(0, L, q4) 1->(B, L, q4) B->(0, R, q6)
q5: 0->(B, R, q5) 1->(B, R, q5) B->(B, R, q6)
q6: 0->() 1->() B->()
