Correspondence with Geometric Structures
Correspondence with Geometric Structures
StringToNumber[s_String]:=FromDigits[{(ToExpression/@Characters[StringReplace[s,{"A""0","B""1"}]]),0},2]
In[]:=
MultiwaySystem[{"A""AA","B""AB"},{"ABA"},3]
In[]:=
{{ABA},{AABA,ABAA},{AAABA,AABAA,ABAAA},{AAAABA,AAABAA,AABAAA,ABAAAA}}
Out[]=
ListPlot[Flatten[MapIndexed[{StringToNumber[#],-#2[[1]]}&,MultiwaySystem[{"A""AA","B""AB"},{"ABA"},3],{2}],1]]
In[]:=
Out[]=
ListPlot[Flatten[MapIndexed[{StringToNumber[#],-#2[[1]]}&,MultiwaySystem[{"A""AA","B""AB"},{"ABA"},8],{2}],1]]
In[]:=
Out[]=
ListPlot[Flatten[MapIndexed[{StringToNumber[#],-#2[[1]]}&,MultiwaySystem[{"A""AB","B""A"},{"A"},8],{2}],1]]
In[]:=
Out[]=
MultiwaySystem[{"A""AA","B""AB"},{"ABA"},3,"PredecessorRulesList"]
In[]:=
{{ABA{}},{AABA{ABA,ABA},ABAA{ABA}},{AAABA{AABA,AABA,AABA},AABAA{AABA,ABAA,ABAA},ABAAA{ABAA,ABAA}},{AAAABA{AAABA,AAABA,AAABA,AAABA},AAABAA{AAABA,AABAA,AABAA,AABAA},AABAAA{AABAA,AABAA,ABAAA,ABAAA},ABAAAA{ABAAA,ABAAA,ABAAA}}}
Out[]=
MultiwayLineDrawing[rule_,init_,n_]:=Graphics[MapIndexed[Arrow[Line[Reverse@{{StringToNumber[#[[1]]],-#2[[1]]},{StringToNumber[#[[2]]],-#2[[1]]+1}}]]&,Flatten/@Map[Thread,MultiwaySystem[rule,init,n,"PredecessorRulesList"],{2}],{2}],AspectRatio1]
In[]:=
MultiwayLineDrawing[{"B""BB"},{"B"},4]
In[]:=
Out[]=
MultiwayLineDrawing[{"B""BB","B""B"},{"B"},7]
In[]:=
Out[]=
MultiwayLineDrawing[{"A""AB","B""A"},{"A"},8]
In[]:=
Out[]=
From page 206:
MultiwayLineDrawing[{"AB""","ABA""ABBAB","ABABBB""AAAAABA"},{"ABABAB"},10]
In[]:=
Out[]=
MultiwayLineDrawing[{"AB""","ABA""ABBAB","ABABBB""AAAAABA"},{"ABABAB"},20]
In[]:=
Out[]=
MultiwayLineDrawing[{"AB""","ABA""ABBAB","ABABBB""AAAAABA"},{"ABABAB"},60]
In[]:=
Out[]=
From page 209:
MultiwayLineDrawing[{"AA""","BA""ABB","BB""A"},{"BBA"},20]
In[]:=
Out[]=
MultiwaySystem[{"AA""","BA""ABB","BB""A"},{"BBA"},20,"StatesGraph"]
In[]:=
Out[]=
MultiwaySystem[{"AA""","BA""ABB","BB""A"},{"BBA"},5,"StatesGraph"]
In[]:=
Out[]=
LayeredGraphPlot[MultiwaySystem[{"AA""","BA""ABB","BB""A"},{"BBA"},8,"StatesGraph"],Top]
In[]:=
Out[]=