In[]:=
{"AB""BAB","BA""A"}
Out[]=
{ABBAB,BAA}
In[]:=
TotalCausalInvariantQ[{"A""AAB","ABBA""A"},9]
Out[]=
True
In[]:=
CanonicalCriticalPairs[{"A""AAB","ABBA""A"},6]
Out[]=
Resolved{{A,A},{A,ABBAAB},{AABBBA,AABBBA},{AABBBA,ABBAAB},{ABBAAB,ABBAAB}},Unresolved{{A,AABBBA}}
In[]:=
MultiwaySystem[{"A""AAB","ABBA""A"},{"A","AABBBA"},7,"StatesGraph"]
Out[]=
In[]:=
FindShortestPath[UndirectedGraph[%265],"A","AABBBA"]
Out[]=
{A,AAB,AABAB,AAABBAB,AAAB,AABAAB,AAABBAAB,AAAABBBAAB,AAAABBABBBAAB,AAAABBABBABBBAAB,AAAABBABBABBBA,AAABABBABBBA,AAABBABBBA,AABABBBA,AABBBA}
In[]:=
Length[%]
Out[]=
15
In[]:=
Subgraph[%265,%%]
Out[]=