FOLA-demo70.html

Intersection

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

(13.5.1.1)

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

(13.5.1.2)