In[]:=
With[{s=2,k=2},(2sk)^(sk)]
Out[]=
4096
In[]:=
With[{s=2,k=1},(2sk)^(sk)]
Out[]=
16
In[]:=
With[{s=3,k=1},(2sk)^(sk)]
Out[]=
216
In[]:=
Table[RulePlot[TuringMachine[ResourceFunction["TuringMachineFromNumber"][n,2,1]],{{1},{{},0}},10],{n,0,15}]
Out[]=

,
,
,
,
,
,
,
,
,
,
,
,
,
,
,

In[]:=
Table[RulePlot[TuringMachine[ResourceFunction["TuringMachineFromNumber"][n,1,2]],{{1},{{},0}},10],{n,0,15}]
Out[]=

,
,
,
,
,
,
,
,
,
,
,
,
,
,
,

In[]:=
Table[RulePlot[TuringMachine[ResourceFunction["TuringMachineFromNumber"][n,1,3]],{{1},{{},0}},10],{n,0,215}]
In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1,1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][TMAppliesGraph[#,5]#&,Select[Subsets[List/@TMRuleCases[1,2],{1}],Not@*TestDeterministic]],#[[1]]&]]
Out[]=
{}
Clear
Copy
In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1,1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][TMAppliesGraph[#,5]#&,Select[Subsets[List/@TMRuleCases[1,2],{2}],Not@*TestDeterministic]],#[[1]]&]]
Out[]=


,3
Add
,

,2
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add
,

,1
Add

Clear
Copy

k=1