No overlaps test

Labeled[IsomorphicGraphQ[MultiwaySystem[{"AAB"#},StringTuples["AB",4],4,"StatesGraphStructure"],Graph[MultiwaySystem[{"AAB"#},StringTuples["AB",4],4,"EvolutionGraph"],VertexShapeFunctionAutomatic]],#]&/@RandomSample[StringTuples["AB",5],20]
In[]:=
Out[]=
Labeled[IsomorphicGraphQ[MultiwaySystem[{"AAB"#},StringTuples["AB",4],4,"StatesGraphStructure"],Graph[MultiwaySystem[{"AAB"#},StringTuples["AB",4],4,"EvolutionGraph"],VertexShapeFunctionAutomatic]],#]&/@StringTuples["AB",3]
In[]:=
Out[]=
MultiwaySystem[{"AAB""AAA"},StringTuples["AB",4],4,"StatesGraph"]
In[]:=
Out[]=
MultiwaySystem[{"AAB""AAA"},StringTuples["AB",4],4,"EvolutionGraph"]
In[]:=
Out[]=
ConnectedGraphComponents[%]
In[]:=
Out[]=
Labeled[IsomorphicGraphQ[MultiwaySystem[{"ABA"#},StringTuples["AB",4],4,"StatesGraphStructure"],Graph[MultiwaySystem[{"ABA"#},StringTuples["AB",4],4,"EvolutionGraph"],VertexShapeFunctionAutomatic]],#]&/@RandomSample[StringTuples["AB",5],20]
In[]:=
Out[]=

1,1 ; 1,1

TestMW[{{11,11},2}]
In[]:=
Out[]=
TestMW[{{11,11},3}]
In[]:=
Out[]=
{"A""B","A""C"}
MultiwaySystem[{"A""B","A""C"},"A",4,"StatesGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","A""C"},StringTuples["ABC",3],4,"StatesGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","A""C"},"AAA",4,"CausalInvariantQ"]
In[]:=
False
Out[]=
MultiwaySystem[{"A""B","A""C"},"AAA",4,"UnresolvedCriticalPairs"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","A""C"},"AAA",4,"StatesGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""B","A""C"},"AA",4,"StatesGraph"]
In[]:=
Out[]=
TestMW[{{11,11},3}]//Length
In[]:=
2
Out[]=
TestMW[{{11,11},4}]
In[]:=
Out[]=

1,2; 1,1

TestMW[{{12,11},2}]
In[]:=
Out[]=
Graph[MultiwaySystem[#,StringTuples["AB",3],4,"StatesGraphStructure"],ImageSize80,FrameTrue,FrameStyleLightGray]&/@EnumerateSubstitutionSystemRules[{12,11},2]
In[]:=
Out[]=
MultiwaySystem[{"A""AA","A""B"},"A",4,"CausalInvariantQ"]
In[]:=
False
Out[]=
MultiwaySystem[{"A""AA","A""B"},"A",5,"CausalInvariantQ"]
In[]:=
False
Out[]=
MultiwaySystem[{"A""AA","A""B"},"A",5,"WeakCriticalPairs"]
In[]:=
{}
Out[]=
MultiwaySystem[{"A""AA","A""B"},"A",5,"CriticalPairs"]
In[]:=
Out[]=