NonDeterministic Turing Machines
| > | Q:={q0,q1,q2}:
Sig:={a,b}: Gam:={a,b,\Delta}: F:={q1}: delta:=table(): delta[(q0,a)]:={[q0,b,R],[q2,\Delta,L]}: ## Move Right delta[(q0,b)]:={[q0,b,S],[q2,a,R]}: ## Stay delta[(q0,\Delta)]:={[q1,\Delta,L]}: ## Move Left tm2:=NTM1T(Q,Sig,Gam,op(delta),q0,\Delta,F,{}); |
![`:=`(tm2, NTM1T({q0, q1, q2}, {a, b}, {a, Delta, b}, TABLE([(q0, b) = {[q0, b, S], [q2, a, R]}, (q0, Delta) = {[q1, Delta, L]}, (q0, a) = {[q2, Delta, L], [q0, b, R]}]), q0, Delta, {q1}, {}))](images/FOLA-demo_1694.gif){kind=small} ![`:=`(tm2, NTM1T({q0, q1, q2}, {a, b}, {a, Delta, b}, TABLE([(q0, b) = {[q0, b, S], [q2, a, R]}, (q0, Delta) = {[q1, Delta, L]}, (q0, a) = {[q2, Delta, L], [q0, b, R]}]), q0, Delta, {q1}, {}))](images/FOLA-demo_1695.gif){kind=small} |
(13.2.1) |
| > | type(tm2,NTM); |
 |
(13.2.2) |
| > | transitionGraph(tm2); |
 |
| > |