s=2, k=1
s=2, k=1
In[]:=
#[[1,1]]&/@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,1}]]&/@VertexList[ggg])]]]#&,Select[Subsets[List/@TMRuleCases[2,1],{3}],Not@*TestDeterministic]],#[[1]]&]
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
In[]:=
#[[1,1]]&/@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,1}]]&/@VertexList[ggg])]]]#&,Select[Subsets[List/@TMRuleCases[2,1],{2}],Not@*TestDeterministic]],#[[1]]&]
Out[]=
,
,
,
,
,
,
,
,
In[]:=
#[[1,1]]&/@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,1}]]&/@VertexList[ggg])]]]#&,Select[Subsets[List/@TMRuleCases[2,1],{4}],Not@*TestDeterministic]],#[[1]]&]
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
In[]:=
Graph[{11,12,21}]
Out[]=
s=1, k=2
s=1, k=2
s=2, k=2
s=2, k=2