|
q0,0->q1,_,R;q0,1->qr,R;q0,_->qr,R;
q1,0->q1,R;q1,1->q2,x,R;q1,_->qr,R;
q2,0->qr,R;q2,1->q2,R;q2,_->q3,L;
q3,1->q4,L;q3,x->q5,L;
q4,1->q4,L;q4,x->q5,L;
q5,0->q5,L;q5,x->q5,L;q5,_->q6,R;
q6,0->q7,x,R;q6,1->qr,R;q6,x->q6,R;q6,_->qa,R;
q7,0->q7,R;q7,x->q7,R;q7,1->q5,x,L;q7,_->qr,R;
|
.
