In[]:=
ResourceFunction["MultiwayCombinator"][{s[x_][y_][z_]x[z][y[z]]},s[s][s][s[s]][s][s],16,"BranchialGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwayCombinator"][{s[x_][y_][z_]x[z][y[z]]},s[s][s][s[s]][s][s],17,"BranchialGraphStructure"]
Out[]=
In[]:=
NestList[StringReplace[#,{"A""BBB","BB""A"},1]&,"BBA",10]
Out[]=
{BBA,AA,BBBA,ABA,BBBBA,ABBA,BBBBBA,ABBBA,BBBBBBA,ABBBBA,BBBBBBBA}
In[]:=
CombinatorCausalGraph[s[s[s[s]]][s][s][s],60,#]&/@allschemes
Out[]=

,
,
,
,
,
,
,

In[]:=
CombinatorFixedPointList[s[s[s[s]]][s][s][s]]
Out[]=
{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[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]]]]][s[s[s][s[s[s]][s]]][s[s[s[s][s[s[s]][s]]]]]]]]}
In[]:=
Length[%]
Out[]=
16
In[]:=
CombinatorCausalGraph[s[s[s[s]]][s][s][s],60,Append[#,2]]&/@allschemes
Out[]=

,
,
,
,
,
,
,

In[]:=
CombinatorCausalGraph[s[s[s[s]]][s][s][s],60,Append[#,Infinity]]&/@allschemes
Out[]=
$Aborted
In[]:=
ResourceFunction["SubstitutionSystemCausalGraph"][{"A""BBB","BB""A"},"BBA",5]
Out[]=
In[]:=
ResourceFunction["MultiwayCombinator"][{s[x_][y_][z_]->x[z][y[z]],k[x_][y_]->x},s[s][s][s[s[s]]][s][k],5,"CausalInvariantQ"]
Out[]=
True
In[]:=
Table[Length/@ResourceFunction["MultiwayCombinator"][{s[x_][y_][z_]->x[z][y[z]],k[x_][y_]->x},s[s][s][s[s[s]]][s][k],t,"BranchPairResolutionsList"],{t,10}]
Out[]=
{Resolved0,Unresolved0,Resolved0,Unresolved0,Resolved0,Unresolved0,Resolved0,Unresolved0,Resolved0,Unresolved1,Resolved1,Unresolved2,Resolved2,Unresolved6,Resolved6,Unresolved18,Resolved19,Unresolved61,Resolved67,Unresolved206}
Causal multiway system....
In[]:=
ResourceFunction["SubstitutionSystemCausalPlot"][BlockRandom[SeedRandom[33242];ResourceFunction["SubstitutionSystemCausalEvolution"][{"A""BBB","BB""A"},"BBA",8,"First"]],"CausalGraph"True,"CausalGraphStyle"Directive[Thick,Red]]
Out[]=

DAGs