Show[With[{graph=Graph[MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},6,"StatesGraph"],VertexCoordinatesAppend[(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"}},{},{}}]],AxesTrue]
In[]:=
Out[]=
MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},6]
In[]:=
{{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}}
Out[]=
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}]
In[]:=
Out[]=
MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},8,"StatesGraph"]
In[]:=
Out[]=
Graph[MultiwaySystem[{"A""AB","XABABX""XXXX"},{"XAAX"},7,"StatesGraph"]]
In[]:=
Out[]=
MultiwaySystem[{"A""AB"},{"AA"},8,"CausalGraphStructure"]//LayeredGraphPlot
In[]:=
Out[]=
​
Graph[EdgeList[#]]&/@MultiwaySystem[{"A""AB"},{"AA"},8,"CausalGraphInstances"]
In[]:=
Out[]=
SubstitutionSystemCausalGraph[{"A""AB"},"AA",5]
In[]:=
Out[]=
SubstitutionSystemCausalGraph[{"A""AA"},"A",5]
In[]:=
Out[]=