In[]:=
CloudGet[CloudObject["https://www.wolframcloud.com/obj/wolframphysics/Bulletin/DeltaTM.wl"]];With[{t=4},With[{g=ResourceFunction["MultiwayTuringMachine"][AllDeltaTMRules[{2,2}],{{1,t+1,0},ConstantArray[0,2t+1]},t,"StatesGraphStructure",VertexSize->1]},HighlightGraph[g,Style[PathGraph[Rule@@@Partition[ToString/@TuringMachine[#,{{1,t+1,0},ConstantArray[0,2t+1]},t],2,1]],Thick,Red]&/@Range[0,4095]]]]
Out[]=
In[]:=
Graph[%90,GraphLayout"LayeredDigraphEmbedding",AspectRatio1/2]
Out[]=
In[]:=
With[{t=2},ResourceFunction["MultiwayTuringMachine"][AllDeltaTMRules[{2,2}],{{1,t+1,0},ConstantArray[0,2t+1]},t,"BranchialGraphStructure"]]
Out[]=
In[]:=
With[{t=3},ResourceFunction["MultiwayTuringMachine"][AllDeltaTMRules[{2,2}],{{1,t+1,0},ConstantArray[0,2t+1]},t,"BranchialGraphStructure"]]
Out[]=
In[]:=
With[{t=4},ResourceFunction["MultiwayTuringMachine"][AllDeltaTMRules[{2,2}],{{1,t+1,0},ConstantArray[0,2t+1]},t,"BranchialGraphStructure"]]
Out[]=
In[]:=
Flatten[Table[{s0,t0}->{s1,t1,m},{s0,1,2},{s1,1,2},{t0,0,1},{t1,0,1},{m,{-1,1}}]]
Out[]=
{{1,0}{1,0,-1},{1,0}{1,0,1},{1,0}{1,1,-1},{1,0}{1,1,1},{1,1}{1,0,-1},{1,1}{1,0,1},{1,1}{1,1,-1},{1,1}{1,1,1},{1,0}{2,0,-1},{1,0}{2,0,1},{1,0}{2,1,-1},{1,0}{2,1,1},{1,1}{2,0,-1},{1,1}{2,0,1},{1,1}{2,1,-1},{1,1}{2,1,1},{2,0}{1,0,-1},{2,0}{1,0,1},{2,0}{1,1,-1},{2,0}{1,1,1},{2,1}{1,0,-1},{2,1}{1,0,1},{2,1}{1,1,-1},{2,1}{1,1,1},{2,0}{2,0,-1},{2,0}{2,0,1},{2,0}{2,1,-1},{2,0}{2,1,1},{2,1}{2,0,-1},{2,1}{2,0,1},{2,1}{2,1,-1},{2,1}{2,1,1}}
In[]:=
CloudGet["https://www.wolframcloud.com/obj/sw-blog/MultiwayTuringMachines/Programs-01.wl"];TMAppliesGraph[List/@Flatten[Table[{s0,t0}->{s1,t1,m},{s0,1,2},{s1,1,2},{t0,0,1},{t1,0,1},{m,{-1,1}}]],2]
Out[]=
In[]:=
List/@Flatten[Table[{s0,t0}->{s1,s1,m},{s0,1,2},{s1,1,2},{t0,0,1},{t1,0,1},{m,{-1,1}}]]
Out[]=
{{{1,0}{1,1,-1}},{{1,0}{1,1,1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}},{{1,1}{1,1,-1}},{{1,1}{1,1,1}},{{1,1}{1,1,-1}},{{1,1}{1,1,1}},{{1,0}{2,2,-1}},{{1,0}{2,2,1}},{{1,0}{2,2,-1}},{{1,0}{2,2,1}},{{1,1}{2,2,-1}},{{1,1}{2,2,1}},{{1,1}{2,2,-1}},{{1,1}{2,2,1}},{{2,0}{1,1,-1}},{{2,0}{1,1,1}},{{2,0}{1,1,-1}},{{2,0}{1,1,1}},{{2,1}{1,1,-1}},{{2,1}{1,1,1}},{{2,1}{1,1,-1}},{{2,1}{1,1,1}},{{2,0}{2,2,-1}},{{2,0}{2,2,1}},{{2,0}{2,2,-1}},{{2,0}{2,2,1}},{{2,1}{2,2,-1}},{{2,1}{2,2,1}},{{2,1}{2,2,-1}},{{2,1}{2,2,1}}}