In[]:=
ResourceFunction["MultiwayTuringMachine"][{2506,3506},{{1,1,0},{0,1,0,0}},3,"StatesGraph",VertexSize1]
CloudConnect
:Connecting to a cloud running an earlier version of the Wolfram Engine: 12.2
Out[]=
ResourceFunction["MultiwayTuringMachine"][{2506,3506},{{1,1,0},{0,1,0,0}},3,"StatesGraph",VertexSize1]
ResourceFunction["MultiwayTuringMachine"][{2506,3506},{{1,1,0},{0,1,0,0}},3,"StatesGraph",VertexSize1]
In[]:=
With[{t=3},MultiwayTuringMachine[{{{2,1}{1,0,1}},{{1,0}{2,0,-1}},{{1,0}{2,0,1}},{{1,0}{1,0,1}},{{2,0}{2,1,-1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",VertexSize1.5]]
Out[]=
In[]:=
With[{t=4},MultiwayTuringMachine[{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}},{{2,0}{2,0,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",VertexSize.8{1,.2},GraphLayout"LayeredDigraphEmbedding",PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=7},MultiwayTuringMachine[#,{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",VertexSize.8{1,.2},GraphLayout"LayeredDigraphEmbedding",PerformanceGoal"Quality"]]&/@{{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}},{{2,0}{1,0,1}}},{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}},{{1,0}{2,0,-1}}}}
Out[]=

,

In[]:=
With[{t=3},MultiwayTuringMachine[#,{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",VertexSize.8{1,.2},GraphLayout"LayeredDigraphEmbedding",PerformanceGoal"Quality"]]&/@{{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}},{{2,0}{1,0,1}}},{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}},{{1,0}{2,0,-1}}}}
Out[]=

,

In[]:=
With[{t=3},MultiwayTuringMachine[{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{1,0}{2,0,-1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",VertexSize.8{1,.2},GraphLayout"LayeredDigraphEmbedding",PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{g=With[{t=4},MultiwayTuringMachine[{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{1,0}{2,0,-1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",VertexSize.8{1,.2},GraphLayout"LayeredDigraphEmbedding",PerformanceGoal"Quality"]]},HighlightGraph[g,Style[Subgraph[g,Map[ToString,With[{t=4},TuringMachine[Flatten@{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{1,0}{2,0,-1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}}},{{1,t+1,0},Table[0,2t+1]},t]]]],Thick,Red]]]