In[]:=
allrhs=Union[Flatten[Groupings[#,Construct->2]&/@Tuples[{x,y},3]]]
Out[]=
{x[x[x]],x[x[y]],x[y[x]],x[y[y]],y[x[x]],y[x[y]],y[y[x]],y[y[y]],x[x][x],x[x][y],x[y][x],x[y][y],y[x][x],y[x][y],y[y][x],y[y][y]}
In[]:=
Groupings[{f,f,f},Construct->2]
Out[]=
{f[f][f],f[f[f]]}
In[]:=
Clear[f]
f[x_][y_]:=x[x[y]]
In[]:=
Clear[cbtest]
In[]:=
cbtest[rhs_,init_]:=(ClearAll[f];(f[x_][y_]:=#)&[rhs];MultiEvaluate[init,8,"StatesBranchialGraphStructure"])
In[]:=
Table[With[{rr=ru},cbtest[rr,#]&/@Groupings[{f,f,f},Construct->2]],{ru,{x[y][x],x[y][y]}}]
Out[]=
,
,
,
In[]:=
cbtest[x[y][x],#]&/@Groupings[{f,f,f},Construct->2]
Out[]=
,
In[]:=
Clear[x,y,f]
In[]:=
Table[ResourceFunction["MultiwayCombinator"][{f[x_][y_]->ru},#,4,"StatesGraphStructure",ImageSize->Tiny]&/@Groupings[{f,f,f},Construct->2],{ru,allrhs}]
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
In[]:=
Table[ClickToCopy[ResourceFunction["MultiwayCombinator"][{f[x_][y_]->ru},#,4,"StatesGraphStructure",ImageSize->Tiny],{ru,#}]&/@Groupings[Table[f,4],Construct->2],{ru,allrhs}]
Out[]=
{x[x[x]],f[f][f][f]}
{x[x[y]],f[f][f][f]}
In[]:=
f[x_][y_]:=x[x[x]]
In[]:=
MultiEvaluate[f[f][f][f],20,"StatesBranchialGraph",VertexShapeFunction->XXstateVertexShapeFunction[],GraphLayout->"LayeredDigraphEmbedding"]
Out[]=
In[]:=
f[x_][y_]:=x[x[y]]
In[]:=
MultiEvaluate[f[f][f][f],20,"StatesBranchialGraph",VertexShapeFunction->XXstateVertexShapeFunction[],GraphLayout->"LayeredDigraphEmbedding"]
Out[]=
In[]:=
MultiEvaluate[f[f][f][f],20,"EvolutionEventsBranchialGraph",GraphLayout->"LayeredDigraphEmbedding"]
Out[]=
