​
MultiwaySystem[{"A""B","B""A"},"A",5,"CausalGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","B""A"},"A",5,"EvolutionCausalGraph"]
In[]:=
Out[]=
TotalCausalInvariantQ[{"A""B","A""C","C""A"},2]
In[]:=
True
Out[]=
MultiwaySystem[{"A""B","A""C","C""A"},"A",5,"CausalGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","A""C","C""A","C""D"},"A",5,"CausalGraph"]
In[]:=
Out[]=
TotalCausalInvariantQ[{"A""B","A""C","C""A","C""D"},4]
In[]:=
True
Out[]=
MultiwaySystem[{"A""B","A""C","C""A","C""D"},"A",5,"EvolutionEventsGraph"]
In[]:=
Out[]=
sigs[n_]:=DeleteDuplicates[Sort/@((Rule@@@Partition[#,2])&/@Catenate[Permutations@*Reverse/@Select[IntegerPartitions[n],EvenQ@*Length]])]
In[]:=
Catenate[EnumerateSubstitutionSystemRules[#,2]&/@sigs[2]]
In[]:=
{{AA},{AB}}
Out[]=
MultiwaySystem[{"A""B","A""C","C""A"},"A",5,"StatesGraph"]
In[]:=
Out[]=
Catenate[EnumerateSubstitutionSystemRules[#,2]&/@sigs[2]]
MultiwaySystem[{"A""B","AB""AA"},"AB",6,"CausalGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","AB""AA"},"AB",6,"StatesGraph"]
In[]:=
Out[]=

These are global CTCs...