A Turing Machine

下面给出的图灵机判定语言.

它的符号描述：

 

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;

它的运行时间函数：

 

下面是模拟器：

 

 

下面是模拟器代码:

 

文件:	TM.rar
大小:	490KB
下载:	下载