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[]=


,3
Add
,
{
,3}
Add
,

,3
Add
,

,3
Add
,
{
,3}
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,
{
,1}
Add
,

,1
Add
,

,1
Add
,

,2
Add
,

,1
Add
,

,1
Add
,
{
,2}
Add
,

,1
Add
,
{
,1}
Add
,

,1
Add
,

,2
Add
,
{
,2}
Add
,

,1
Add
,

,2
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,
{
,1}
Add
,

,1
Add
,
{
,2}
Add
,

,1
Add
,

,1
Add
,

,1
Add
,
{
,1}
Add
,

,1
Add
,

,1
Add

Clear
Copy

How about Gray code?

2,2 case

s=1, k=2

Pure counting....
With head position included in numbers....

Sampling s=2, k=2, n=3