allres=;
In[]:=
{"AB""A","BA""BAA"}Null,{"AB""A","BA""BAB"}2,
findCanonicalCriticalPairs[{"AB""A","BA""BAA"}]
In[]:=
{{AA,AA},{AA,ABAA},{ABAA,ABAA},{BA,BA},{BA,BAAB},{BAAB,BAAB}}
Out[]=
Select[%,First[#]≠Last[#]&]
In[]:=
{{AA,ABAA},{BA,BAAB}}
Out[]=
"GivePredecessors"True|False
"IncludeSelfPairs"Automatic
MultiwaySystem[{"AB""A","BA""BAA"},"ABA",3,"EvolutionGraph"]
In[]:=
Out[]=
MultiwaySystem[{"AB""A","BA""BAA"},{"AA","ABAA"},4,"StatesGraph"]//LayeredGraphPlot
In[]:=
Out[]=