In[]:=
With[{t=3},Show[ResourceFunction["MultiwayTuringMachine"][{2506,3506},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph","IncludeEventInstances"True,VertexSize1.1{1,1.1/(2t+1)}]]/.Arrowheads[Medium]Arrowheads[0.025]]
Out[]=
In[]:=
With[{t=8},Show[ResourceFunction["MultiwayTuringMachine"][{2506,3506},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]]]
Out[]=
In[]:=
With[{t=11},Show[ResourceFunction["MultiwayTuringMachine"][{2506,3506},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]]]
Out[]=
In[]:=
RulePlot[TuringMachine[2506]]
Out[]=
In[]:=
8^4
Out[]=
4096
In[]:=
RulePlot[TuringMachine[1000]]
Out[]=
In[]:=
8^448
Out[]=
131072
In[]:=
With[{t=8},Show[ResourceFunction["MultiwayTuringMachine"][{2506},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]]]
Out[]=
In[]:=
IntegerDigits[2506,8]
Out[]=
{4,7,1,2}
In[]:=
ndtmrules[n_]:=FromDigits[#,8]&/@Flatten[Table[ReplacePart[IntegerDigits[n,8],ij],{i,4},{j,0,7}],1]
In[]:=
ndtmrules[2506]
Out[]=
{458,970,1482,1994,2506,3018,3530,4042,2058,2122,2186,2250,2314,2378,2442,2506,2498,2506,2514,2522,2530,2538,2546,2554,2504,2505,2506,2507,2508,2509,2510,2511}
In[]:=
Length[%]
Out[]=
29
In[]:=
allrules=Union[Catenate[Table[Sort[{n,#}]&/@ndtmrules[n],{n,0,4095}]]];
In[]:=
Length[allrules]
Out[]=
61440
In[]:=
8^448/%40
Out[]=
32
15
In[]:=
N[%]
Out[]=
2.13333
In[]:=
Take[allrules,4]
Out[]=
{{0,0},{0,1},{0,2},{0,3}}
In[]:=
RandomSample[allrules,10]
Out[]=
{{3190,3318},{3557,3565},{2830,2854},{2194,2450},{1367,1431},{82,146},{209,249},{85,405},{2586,2714},{688,691}}
In[]:=
With[{t=8},Show[ResourceFunction["MultiwayTuringMachine"][#,{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]]]&/@%
Out[]=
,
,
,
,
,
,
,
,
,