In[]:=
ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},5,"StatesGraph"]
Out[]=
In[]:=
TransitiveClosureGraph[%]
Out[]=
In[]:=
EdgeList[%]
Out[]=
{AAB,AABB,AAA,AABBB,AAAB,AABA,AABBBB,AAABB,AABAB,AABBA,AABBBBB,ABABB,ABAA,ABABBB,ABAAB,ABABA,ABABBBB,ABAABB,ABABAB,ABABBA,ABABBBBB,ABBAA,ABBABBB,ABBAAB,ABBABA,ABBABBBB,ABBAABB,ABBABAB,ABBABBA,ABBABBBBB,AAAAB,AAABA,AAAABB,AAABAB,AAABBA,ABBBAAB,ABBBABA,ABBBABBBB,ABBBAABB,ABBBABAB,ABBBABBA,ABBBABBBBB,AABAABB,AABABAB,ABAABAB,ABAABBA,ABBBBAABB,ABBBBABAB,ABBBBABBA,ABBBBABBBBB}
In[]:=
Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},3,"StatesGraph"]]]
Out[]=
{AAB,AABB,AAA,AABBB,ABABB,ABAA,ABABBB,ABBAA,ABBABBB}
In[]:=
LayeredGraphPlot[ResourceFunction["MultiwaySystem"][Union[{"A""AB","BB""A"},Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},3,"StatesGraph"]]]],{"A"},5,"StatesGraph"],AspectRatio1/2]
Out[]=
In[]:=
LayeredGraphPlot[ResourceFunction["MultiwaySystem"][Union[{"A""AB","BB""A"},Rule@@@EdgeList[TransitiveClosureGraph[ResourceFunction["MultiwaySystem"][{"A""AB","BB""A"},{"A"},2,"StatesGraph"]]]],{"A"},5,"StatesGraph"],AspectRatio1/2]
Out[]=
In[]:=
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"]]]],AspectRatio1/2]
Out[]=