# Takes a number in binary and outputs its quotient divided by 3.

Q={q0,q1,q2,q3}
I=q0
F=q3 
G={0, 1,b}
S={0,1}
D={(q0,b,q3,b,R), (q0,0,q0,0,R), (q0,1,q1,0,R),
   (q1,b,q3,b,R), (q1,0,q2,0,R), (q1,1,q0,1,R),
   (q2,b,q3,b,R), (q2,0,q1,1,R), (q2,1,q2,1,R)
  }