In[]:=
TMAppliesGraph[#,10]&/@{{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{{1,1}{1,0,-1}},{{1,0}{1,1,-1}},{{1,0}{1,0,1}}},{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{{1,0}{1,0,-1}},{{1,1}{1,0,1}},{{1,0}{1,1,1}}}}
Out[]=
,
,
,
In[]:=
TMAppliesGraph[#,10]&/@{{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{{1,1}{1,0,-1}},{{1,0}{1,1,-1}},{{1,0}{1,0,1}}},{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{{1,0}{1,0,-1}},{{1,1}{1,0,1}},{{1,0}{1,1,1}}}}
Out[]=
,
,
,
In[]:=
With[{t=5},With[{ggg=MultiwayTuringMachine[{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]},Graph[ggg,VertexLabels(#ToString[ToExpression[#][[1,{1,3}]]]&/@VertexList[ggg]),VertexCoordinates(#ToExpression[#][[1,{3,1}]]&/@VertexList[ggg])]]]
Out[]=
In[]:=
With[{t=5},With[{ggg=MultiwayTuringMachine[{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]},Graph[ggg,VertexCoordinates(#{ToExpression[#][[1,3]],Total[ToExpression[#][[2]],2]}&/@VertexList[ggg])]]]
Out[]=
In[]:=
With[{t=8},With[{ggg=MultiwayTuringMachine[{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]},Graph[ggg,VertexCoordinates(#{ToExpression[#][[1,3]],Total[ToExpression[#][[2]],2]}&/@VertexList[ggg])]]]
Out[]=
In[]:=
With[{t=12},With[{ggg=MultiwayTuringMachine[{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]},Graph[ggg,VertexCoordinates(#{ToExpression[#][[1,3]],Total[ToExpression[#][[2]],2]}&/@VertexList[ggg])]]]
Out[]=
In[]:=
With[{t=10},With[{ggg=MultiwayTuringMachine[#,{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]},Graph[ggg,VertexCoordinates(#{ToExpression[#][[1,3]],Total[ToExpression[#][[2]],2]}&/@VertexList[ggg])]]]&/@{{{{1,1}{1,1,-1}},{{1,0}{1,1,-1}},{{1,0}{1,1,1}}},{{{1,1}{1,0,-1}},{{1,0}{1,1,-1}},{{1,0}{1,0,1}}},{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{{1,0}{1,0,-1}},{{1,1}{1,0,1}},{{1,0}{1,1,1}}}}
Out[]=
,
,
,
In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1,1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][With[{t=5},With[{ggg=MultiwayTuringMachine[#,{{1,t+1,0},Table[0,2t+1]},t,"StatesGraphStructure"]},Graph[ggg,VertexCoordinates(#{ToExpression[#][[1,3]],Total[ToExpression[#][[2]]]}&/@VertexList[ggg])]]]#&,Select[Subsets[List/@TMRuleCases[1,2],{3}],Not@*TestDeterministic]],#[[1]]&]]
Out[]=
How about Gray code?
How about Gray code?
2,2 case
2,2 case
s=1, k=2
s=1, k=2
Pure counting....
With head position included in numbers....
Sampling s=2, k=2, n=3
Sampling s=2, k=2, n=3