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