In[]:=
Show[With[{graph=Graph[MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},6,"StatesGraph"],VertexCoordinatesAppend[(Thread[VertexList[#]->GraphEmbedding[#,Automatic,2]]&[MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},8,"StatesGraph"]]),"XXXX"{0,5.5}]]},Show[graph,foliationGraphics[graph,#,{0.1,0.05}]&/@{{{"XAAX"}},{{"XAAX","XAABX","XABAX"}},{{"XAAX","XAABX","XABAX","XAABBX","XABABX","XABBAX"}},{{"XAAX","XAABX","XABAX","XAABBX","XABABX","XABBAX","XAABBBX","XABABBX","XABBABX","XABBBAX"}},{{"XAAX","XAABX","XABAX","XAABBX","XABABX","XABBAX","XAABBBX","XABABBX","XABBABX","XABBBAX","XAABBBBX","XABABBBX","XABBABBX","XABBBABX","XABBBBAX"},{"XAAX","XAABX","XABAX","XAABBX","XABABX","XABBAX","XAABBBX","XABABBX","XABBABX","XABBBAX","XAABBBBX","XABABBBX","XABBABBX","XABBBABX","XABBBBAX","XAABBBBBX","XABABBBBX","XABBBBABX","XABBBBBAX","XABBABBBX","XABBBABBX"}},{},{}}]],AxesTrue]
Out[]=
In[]:=
MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},6]
Out[]=
{{XAAX},{XAABX,XABAX},{XAABBX,XABABX,XABBAX},{XAABBBX,XABABBX,XABBABX,XABBBAX,XXXX},{XAABBBBX,XABABBBX,XABBABBX,XABBBABX,XABBBBAX},{XAABBBBBX,XABABBBBX,XABBABBBX,XABBBABBX,XABBBBABX,XABBBBBAX},{XAABBBBBBX,XABABBBBBX,XABBABBBBX,XABBBABBBX,XABBBBABBX,XABBBBBABX,XABBBBBBAX}}
In[]:=
Map["X"<>#<>"X"&,{{{"AA"}},{{"AA","AAB","ABA"}},{{"AA","AAB","ABA","AABB","ABAB","ABBA"}},{{"AA","AAB","ABA","AABB","ABAB","ABBA","AABBB","ABABB","ABBAB","ABBBA"}},{{"AA","AAB","ABA","AABB","ABAB","ABBA","AABBB","ABABB","ABBAB","ABBBA","AABBBB","ABABBB","ABBABB","ABBBAB","ABBBBA"},{"AA","AAB","ABA","AABB","ABAB","ABBA","AABBB","ABABB","ABBAB","ABBBA","AABBBB","ABABBB","ABBABB","ABBBAB","ABBBBA","AABBBBB","ABABBBB","ABBBBAB","ABBBBBA"},{"AA","AAB","ABA","AABB","ABAB","ABBA","AABBB","ABABB","ABBAB","ABBBA","AABBBB","ABABBB","ABBABB","ABBBAB","ABBBBA","AABBBBB","ABABBBB","ABBBBAB","ABBBBBA","AABBBBBB","ABABBBBB","ABBBBBAB","ABBBBBBA"},{"AA","AAB","ABA","AABB","ABAB","ABBA","AABBB","ABABB","ABBAB","ABBBA","AABBBB","ABABBB","ABBABB","ABBBAB","ABBBBA","AABBBBB","ABABBBB","ABBBBAB","ABBBBBA","AABBBBBB","ABABBBBB","ABBBBBAB","ABBBBBBA","AABBBBBBB","ABABBBBBB","ABBBBBBAB","ABBBBBBBA"}}},{3}]
Out[]=
In[]:=
MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},8,"StatesGraph"]
Out[]=
In[]:=
Graph[MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},7,"StatesGraph"]]
Out[]=
In[]:=
MultiwaySystem[{"A""AB"},{"AA"},8,"CausalGraphStructure"]//LayeredGraphPlot
Out[]=