ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},5,"StatesGraph"]
In[]:=
Out[]=
TransitiveClosureGraph[%]
In[]:=
Out[]=
EdgeList[%]
In[]:=
{AAB,AABB,AAA,AABBB,AAAB,AABA,AABBBB,AAABB,AABAB,AABBA,AABBBBB,ABABB,ABAA,ABABBB,ABAAB,ABABA,ABABBBB,ABAABB,ABABAB,ABABBA,ABABBBBB,ABBAA,ABBABBB,ABBAAB,ABBABA,ABBABBBB,ABBAABB,ABBABAB,ABBABBA,ABBABBBBB,AAAAB,AAABA,AAAABB,AAABAB,AAABBA,ABBBAAB,ABBBABA,ABBBABBBB,ABBBAABB,ABBBABAB,ABBBABBA,ABBBABBBBB,AABAABB,AABABAB,ABAABAB,ABAABBA,ABBBBAABB,ABBBBABAB,ABBBBABBA,ABBBBABBBBB}
Out[]=
Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},3,"StatesGraph"]]]
In[]:=
{AAB,AABB,AAA,AABBB,ABABB,ABAA,ABABBB,ABBAA,ABBABBB}
Out[]=
LayeredGraphPlot[ResourceFunction["MultiwaySystem"][Union[{"A""AB","BB""A"},Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},3,"StatesGraph"]]]],{"A"},5,"StatesGraph"],AspectRatio1/2]
In[]:=
Out[]=
LayeredGraphPlot[ResourceFunction["MultiwaySystem"][Union[{"A""AB","BB""A"},Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},2,"StatesGraph"]]]],{"A"},5,"StatesGraph"],AspectRatio1/2]
In[]:=
Out[]=
LayeredGraphPlot[With[{g=ResourceFunction["MultiwaySystem"][Union[{"A""AB","BB""A"},Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},2,"StatesGraph"]]]],{"A"},5,"StatesGraph"]},HighlightGraph[g,Subgraph[g,VertexOutComponent[g,"AA"]]]],AspectRatio1/2]
In[]:=
Out[]=