In[]:=
ListPlot3D[Reverse/@PadRight[CombinatorDepthGraphic[SKEvolveList[s[s][s][s[s]][s][s],15]]],ColorFunction"Rainbow",MeshFunctions{#3&}]
Out[]=
In[]:=
In[]:=
GraphicsGrid[Partition[ResourceFunction["ParallelMapMonitored"][ListLinePlot[LeafCount/@SKFixedPointEvolveList[#,2000],FrameTrue,AxesNone,FrameTicksNone]&,nonterms],UpTo[7]]]
Out[]=
In[]:=
CombinatorBracketPlot[SKFixedPointEvolveList[s[s][s][s[s[s]]][k][s],500,500],"RightAssociative",AspectRatio.6]
Out[]=
In[]:=
(DisplayForm[CombinatorString[#,Right,""]]&/@SKFixedPointEvolveList[#,30,30])&/@Take[nonterms,3]
Out[]=
{{s((((ss)s)ss)s)s,s(((sss)sss)s)s,s(((ss)s)(sss)s)s,s((s(sss)s)s(sss)s)s,s(((sss)s)s)(s(sss)s)s,s(((ss)s)ss)(s(sss)s)s,s((sss)sss)(s(sss)s)s,s((ss)(s(sss)s)s)(sss)(s(sss)s)s,s(s(sss)(s(sss)s)s)((s(sss)s)s)(sss)(s(sss)s)s},{s((((sss)s)s)s)s,s((((ss)s)ss)s)s,s(((sss)sss)s)s,s(((ss)s)(sss)s)s,s((s(sss)s)s(sss)s)s,s(((sss)s)s)(s(sss)s)s,s(((ss)s)ss)(s(sss)s)s,s((sss)sss)(s(sss)s)s,s((ss)(s(sss)s)s)(sss)(s(sss)s)s,s(s(sss)(s(sss)s)s)((s(sss)s)s)(sss)(s(sss)s)s},{((sss(ss)s)s)s,((ss(ss)s)s)ss,((s(ss)s)ss)sss,(((ss)s)sss)(ss)sss,((ssss)ssss)(ss)sss,((sss)(ss)sss)(ssss)(ss)sss,((ss)(ssss)(ss)sss)((ss)sss)(ssss)(ss)sss}}
In[]:=
(ToExpression/@Characters[StringReplace[ToString[DisplayForm[CombinatorString[#,Right,""]]],{" ""","(""2","s""3","k""4",")""1"}]]&/@SKFixedPointEvolveList[#,30,30])&/@Take[nonterms,3]
Out[]=
{{{3,2,2,2,2,3,3,1,3,1,3,3,1,3,1,3},{3,2,2,2,3,3,3,1,3,3,3,1,3,1,3},{3,2,2,2,3,3,1,3,1,2,3,3,3,1,3,1,3},{3,2,2,3,2,3,3,3,1,3,1,3,2,3,3,3,1,3,1,3},{3,2,2,2,3,3,3,1,3,1,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,2,2,3,3,1,3,1,3,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,2,3,3,3,1,3,3,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,2,3,3,1,2,3,2,3,3,3,1,3,1,3,1,2,3,3,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,3,2,3,3,3,1,2,3,2,3,3,3,1,3,1,3,1,2,2,3,2,3,3,3,1,3,1,3,1,2,3,3,3,1,2,3,2,3,3,3,1,3,1,3}},{{3,2,2,2,2,3,3,3,1,3,1,3,1,3,1,3},{3,2,2,2,2,3,3,1,3,1,3,3,1,3,1,3},{3,2,2,2,3,3,3,1,3,3,3,1,3,1,3},{3,2,2,2,3,3,1,3,1,2,3,3,3,1,3,1,3},{3,2,2,3,2,3,3,3,1,3,1,3,2,3,3,3,1,3,1,3},{3,2,2,2,3,3,3,1,3,1,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,2,2,3,3,1,3,1,3,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,2,3,3,3,1,3,3,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,2,3,3,1,2,3,2,3,3,3,1,3,1,3,1,2,3,3,3,1,2,3,2,3,3,3,1,3,1,3},{3,2,3,2,3,3,3,1,2,3,2,3,3,3,1,3,1,3,1,2,2,3,2,3,3,3,1,3,1,3,1,2,3,3,3,1,2,3,2,3,3,3,1,3,1,3}},{{2,2,3,3,3,2,3,3,1,3,1,3,1,3},{2,2,3,3,2,3,3,1,3,1,3,1,3,3},{2,2,3,2,3,3,1,3,1,3,3,1,3,3,3},{2,2,2,3,3,1,3,1,3,3,3,1,2,3,3,1,3,3,3},{2,2,3,3,3,3,1,3,3,3,3,1,2,3,3,1,3,3,3},{2,2,3,3,3,1,2,3,3,1,3,3,3,1,2,3,3,3,3,1,2,3,3,1,3,3,3},{2,2,3,3,1,2,3,3,3,3,1,2,3,3,1,3,3,3,1,2,2,3,3,1,3,3,3,1,2,3,3,3,3,1,2,3,3,1,3,3,3}}}
In[]:=
GraphicsGrid[Partition[Map[CombinatorBracketPlot[SKFixedPointEvolveList[#,500,500],"RightAssociative",AspectRatio.6,FrameTicksNone]&,Take[nonterms,3]],UpTo[7]]]
Out[]=
In[]:=
inonterms={s[s[s[s]][s][s][s][s]],s[s[s[s[s][s]]]][s][s],s[s[s[s][s]]][s[s]][s],s[s[s[s[s]][s]]][s][s],s[s[s][s]][s][s[s[s]]],s[s[s[s]][s[s]]][s][s],s[s[s[s[s]]][s]][s][s],s[s[s][s][s[s]]][s][s],s[s[s[s]][s][s]][s][s],s[s][s][s[s[s]]][s[s]],s[s][s][s[s[s[s]]]][s],s[s][s][s[s[s][s]]][s],s[s[s]][s][s[s[s]]][s],s[s[s]][s[s[s]]][s][s],s[s[s[s]]][s[s]][s][s],s[s[s[s[s]]]][s][s][s],s[s[s[s][s]]][s][s][s],s[s[s[s]][s]][s][s][s],s[s][s][s[s[s]]][s][s],s[s[s]][s[s]][s][s][s],s[s[s[s]]][s][s][s][s],s[s[s]][s][s][s][s][s],k[s[s[s]][s][s][s][s]],s[s[s[s][k]]][s[s]][s],s[s[s][s]][s][s[s][k]],s[s[s][s][s[s]]][k][s],s[s[s[s]][s][s]][k][s],s[s][k][s[s[s][s]]][s],s[s][s][s[s[s[s]]]][k],s[s][s][s[s[s][k]]][s],s[s][s][s[s[s][s]]][k],s[s[s]][s][s[s[s]]][k],s[s[s]][s][s[s][k]][s],s[s[s[s]]][s[s]][s][k],s[s[s[s][s]]][s][s][k],s[s][k][s[s[s]]][s][s],s[s][s][s[s[s]]][k][s],s[s][s][s[s[s]]][s][k],s[s[s]][s][s][s][s[k]],s[s[s[s]]][s][s][s][k],s[s][k][s[s]][s][s][s],s[s[s][k]][s][s[s][k]],s[s][k][s[s[s][k]]][s],s[s][k][s[s[s][s]]][k],s[s[s]][s][s[s][k]][k],s[s][k][s[s[s]]][s][k],s[s][k][s[s[s][k]]][k]};
In[]:=
GraphicsGrid[Partition[Map[CombinatorBracketPlot[SKFixedPointEvolveList[#,500,500],"RightAssociative",AspectRatio.6,FrameTicksNone]&,inonterms],UpTo[6]]]
Out[]=