MultiDimentional Turing Machines
| > | Q:={q0,q1,q2}:
Sig:={a,b}: Gam:={a,b,\Delta}: F:={q1}: delta:=table(): delta[(q0,a)]:=[q0,b,R]: delta[(q0,b)]:=[q0,b,U]: ## Move up delta[(q0,\Delta)]:=[q1,\Delta,L]: tm4:=DTMmD(Q,Sig,Gam,op(delta),q0,\Delta,F,{}); |
![`:=`(tm4, DTMmD({q0, q1, q2}, {a, b}, {a, Delta, b}, TABLE([(q0, b) = [q0, b, U], (q0, Delta) = [q1, Delta, L], (q0, a) = [q0, b, R]]), q0, Delta, {q1}, {}))](images/FOLA-demo_1705.gif){kind=small} ![`:=`(tm4, DTMmD({q0, q1, q2}, {a, b}, {a, Delta, b}, TABLE([(q0, b) = [q0, b, U], (q0, Delta) = [q1, Delta, L], (q0, a) = [q0, b, R]]), q0, Delta, {q1}, {}))](images/FOLA-demo_1706.gif){kind=small} |
(13.4.1) |
| > | type(tm4,DTM); |
 |
(13.4.2) |
| > | transitionGraph(tm4); |
 |
| > |