In[]:=
VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{"AB"<->"B"},2,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule]
Out[]=
{ABB,AABB,ABAB,BB,AAAABB,AAABAB,AAABB,AABAAB,ABAAAB,ABAAB,BAAB,BAB}
In[]:=
VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{"AB"<->"B"},1,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule]
Out[]=
{ABB,AABB,ABAB,BB}
[[ Should be SC etc. ]]
In[]:=
AccumulativeTokenEventGraph[{"AB"<->"B"},2,"S","TokenLabeling"->True]
Out[]=
This does not work:
In[]:=
AccumulativeTokenEventGraph[{"AB"<->"B"},2,"SC"]
In[]:=
allrules=Union[Sort[Flatten[ResourceFunction["EnumerateSubstitutionSystemRules"][{Rule@@#},2]&/@Union[Sort/@Catenate[Table[{i,j},{i,1,3},{j,1,3}]]]]/.Rule->TwoWayRule]]
Out[]=
{AA,AAA,AAAA,AAAB,AAB,AABA,AABB,AB,ABAB,ABB,ABBB,AAAA,AAAAA,AAAAB,AAAB,AAABA,AAABB,AABAB,AABB,AABBB,AAAAAA,AAAAAB,AAAABA,AAAABB,AAABAB,AAABBB,AABAAA,AABAAB,AABABA,AABABB,AABBAA,AABBAB,AABBBA,AABBBB,ABAA,ABAAA,ABAAB,ABAB,ABABA,ABBA,ABBAA,ABAAAA,ABAAAB,ABAABA,ABAABB,ABABAB,ABABBB}
In[]:=
VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{"AB"<->"B"},2,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule]
Out[]=
{ABB,AABB,ABAB,BB,AAAABB,AAABAB,AAABB,AABAAB,ABAAAB,ABAAB,BAAB,BAB}
In[]:=
Inconsistencies[list_]:=Intersection[Sort/@list,Sort/@Map[StringReplace[#,{"A"->"B","B"->"A"}]&,list,{2}]]
In[]:=
Inconsistencies/@Table[VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{"AB"<->"B"},t,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule],{t,3}]
Out[]=
{{},{},{}}
In[]:=
Map[Function[ru,ru->TimeConstrained[(Inconsistencies/@Table[VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{ru},t,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule],{t,3}]),10]],RandomSample[allrules,10]]
Out[]=
{ABAAAA{{},{},{}},AAAAB{{},{},{}},AAAABB{{},{},{}},ABBA{{ABAB,ABBA,BABA},{ABAB,ABBA,BABA},{ABAB,ABBA,BABA}},AABBAB{{},{},{}},ABB{{},{},{}},ABAB{{},{},{}},ABAABB{{},{},{}},AAAB{{},{},{}},ABBAA{{},{},{}}}
In[]:=
ParallelMap[Function[ru,ru->TimeConstrained[(Inconsistencies/@Table[VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{ru},t,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule],{t,3}]),10]],RandomSample[allrules,10]]
Out[]=
{AAABAB{{},{},{}},AABBBA{{AABAAB,AABBBA,BBABBA},{AABAAB,AABBBA,BBABBA},{AABAAB,AABBBA,BBABBA}},ABAB{{},{},{}},ABAA{{},{},{}},AABBAB{{},{},{}},ABAAA{{},{},{}},AAABBB{{AAAAAA,AAABBB,BBBBBB},{AAAAAA,AAABBB,BBBBBB},{AAAAAA,AAABBB,BBBBBB}},ABAAAB{{},{},{}},ABAABB{{},{},{}},AAAA{{},{},{}}}
In[]:=
ParallelMap[Function[ru,ru->TimeConstrained[(Inconsistencies/@Table[VertexList[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{ru},t,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding",AspectRatio->.5],_TwoWayRule],{t,3}]),10]],allrules]
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[125975] received and discarded from kernel 85.
​
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[57057] received and discarded from kernel 88.
​
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[41049] received and discarded from kernel 90.
​
General
:Further output of Parallel`Protected`PacketHandler::default will be suppressed during this calculation.
Out[]=
{AA{{},{},{}},AAA{{},{},{}},AAAA{{},{},{}},AAAB{{},{},{}},AAB{{},{},{}},AABA{{},{},{}},AABB{{},{},{}},AB{{AA,AB,BB},{AA,AB,BB},{AA,AB,BB}},ABAB{{},{},{}},ABB{{},{},{}},ABBB{{},{},{}},AAAA{{},{},{}},AAAAA{{},{},{}},AAAAB{{},{},{}},AAAB{{},{},{}},AAABA{{},{},{}},AAABB{{},{},{}},AABAB{{},{},{}},AABB{{AAAA,AABB,BBBB},{AAAA,AABB,BBBB},{AAAA,AABB,BBBB}},AABBB{{},{},{}},AAAAAA{{},{},{}},AAAAAB{{},{},{}},AAAABA{{},{},{}},AAAABB{{},{},{}},AAABAB{{},{},{}},AAABBB{{AAAAAA,AAABBB,BBBBBB},{AAAAAA,AAABBB,BBBBBB},{AAAAAA,AAABBB,BBBBBB}},AABAAA{{},{},{}},AABAAB{{},{},{}},AABABA{{},{},{}},AABABB{{},{},{}},AABBAA{{},{},{}},AABBAB{{},{},{}},AABBBA{{AABAAB,AABBBA,BBABBA},{AABAAB,AABBBA,BBABBA},{AABAAB,AABBBA,BBABBA}},AABBBB{{},{},{}},ABAA{{},{},{}},ABAAA{{},{},{}},ABAAB{{},{},{}},ABAB{{},{},{}},ABABA{{},{},{}},ABBA{{ABAB,ABBA,BABA},{ABAB,ABBA,BABA},{ABAB,ABBA,BABA}},ABBAA{{},{},{}},ABAAAA{{},{},{}},ABAAAB{{},{},{}},ABAABA{{},{},{}},ABAABB{{},{},{}},ABABAB{{ABAABA,ABABAB,BABBAB},{ABAABA,ABABAB,BABBAB},{ABAABA,ABABAB,BABBAB}},ABABBB{{},{},{}}}
In[]:=
Select[%,Flatten[Last[#]]=!={}&]
Out[]=
{AB{{AA,AB,BB},{AA,AB,BB},{AA,AB,BB}},AABB{{AAAA,AABB,BBBB},{AAAA,AABB,BBBB},{AAAA,AABB,BBBB}},AAABBB{{AAAAAA,AAABBB,BBBBBB},{AAAAAA,AAABBB,BBBBBB},{AAAAAA,AAABBB,BBBBBB}},AABBBA{{AABAAB,AABBBA,BBABBA},{AABAAB,AABBBA,BBABBA},{AABAAB,AABBBA,BBABBA}},ABBA{{ABAB,ABBA,BABA},{ABAB,ABBA,BABA},{ABAB,ABBA,BABA}},ABABAB{{ABAABA,ABABAB,BABBAB},{ABAABA,ABABAB,BABBAB},{ABAABA,ABABAB,BABBAB}}}