name: TM2
init: q0
accept: qacc

// q0
q0,0
q1,_,>

q0,1
q2,_,>

q0,_
qacc,_,<

// q1
q1,0
q1,0,>

q1,1
q1,1,>

q1,_
c1,_,<

// q2
q2,0
q2,0,>

q2,1
q2,1,>

q2,_

c2,_,<

// c1
c1,_
qacc,_,<

c1,0
r,_,<

c1,1
qrej,_,<


// c2
c2,_
qacc,_,<

c2,1
r,_,<

c2,0
qrej,_,<

// r
r,0
r,0,<

r,1
r,1,<

r,_
q0,_,>