Simple Example 

> Q:={q0,q1,q2}:
Sig:={a,b,c,d}:
Gam:={a,b,c,d,\Delta}:
F:={q1}:
delta:=table():
delta[(q0,a)]:=[q0,b,'R']: ## Move Right
delta[(q0,b)]:=[q0,b,'R']: ## Move Right
delta[(q0,d)]:=[q2,d,'R']: ## Move Right
delta[(q0,c)]:=[q0,c,'S']: ## Stay
delta[(q0,\Delta)]:=[q1,\Delta,L]: ## Move Left
tm1:=mkDTM1T(Q,Sig,Gam,op(delta),q0,\Delta,F,{q2});
 

`:=`(tm1, DTM1T({q0, q2, q1}, {a, b, c, d}, {a, b, c, d, Delta}, TABLE([(q0, a) = [q0, b, R], (q0, c) = [q0, c, S], (q0, d) = [q2, d, R], (q0, Delta) = [q1, Delta, L], (q0, b) = [q0, b, R]]), q0, Delt...
`:=`(tm1, DTM1T({q0, q2, q1}, {a, b, c, d}, {a, b, c, d, Delta}, TABLE([(q0, a) = [q0, b, R], (q0, c) = [q0, c, S], (q0, d) = [q2, d, R], (q0, Delta) = [q1, Delta, L], (q0, b) = [q0, b, R]]), q0, Delt...		 (13.1.1.1)
 

> transitionGraph(tm1);
 

Plot_2d
 

> stringVerificationDTM(tm1,[a,d,b],`walk`);walk;
 

Unaccepted (13.1.1.2)
 

[q0, a, d, b] => [b, q0, d, b] => [b, d, q2, b] (13.1.1.2)
 

> stringVerificationDTM(tm1,[a,b,d,a],`walk`);walk;
 

Unaccepted (13.1.1.3)
 

[q0, a, b, d, a] => [b, q0, b, d, a] => [b, b, q0, d, a] => [b, b, d, q2, a] (13.1.1.3)
 

> ## stringVerificationDTM(tm1,[a,b,c],`walk`);walk;  ## Will never terminate