In[]:=
Union[Sort/@Catenate[Table[{i,j},{i,0,3},{j,0,3}]]]
Out[]=
{{0,0},{0,1},{0,2},{0,3},{1,1},{1,2},{1,3},{2,2},{2,3},{3,3}}
In[]:=
Flatten[ResourceFunction["EnumerateSubstitutionSystemRules"][{Rule@@#},2]&/@Union[Sort/@Catenate[Table[{i,j},{i,0,3},{j,0,3}]]]]/.Rule->TwoWayRule
Out[]=
{,A,AA,AB,AAA,AAB,ABA,AA,AB,AAA,AAB,ABB,AAAA,AAAB,AABA,AABB,ABAB,ABBB,AAAA,AAAB,AABB,ABAA,ABAB,ABBA,AAAAA,AAAAB,AAABA,AAABB,AABAB,AABBB,ABAAA,ABAAB,ABABA,ABBAA,AAAAAA,AAAAAB,AAAABA,AAAABB,AAABAB,AAABBB,AABAAA,AABAAB,AABABA,AABABB,AABBAA,AABBAB,AABBBA,AABBBB,ABAAAA,ABAAAB,ABAABA,ABAABB,ABABAB,ABABBB}
In[]:=
ParallelMap[TimeConstrained[Labeled[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{#},2,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False],#],2]&,%171]
Out[]=
{$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted,$Aborted}
In[]:=
ParallelMap[TimeConstrained[Labeled[ResourceFunction["TokenEventGraph"][{{r1_,r2_}:>StringApply[r1,r2]},{#},2,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,"TokenLabeling"->False],#],10]&,%171]
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
|
A |
AA |
AB |
AAA |
AAB |
ABA |
AA |
AB |
AAA |
AAB |
ABB |
AAAA |
AAAB |
AABA |
AABB |
ABAB |
ABBB |
AAAA |
AAAB |
AABB |
ABAA |
ABAB |
ABBA |
AAAAA |
AAAAB |
AAABA |
AAABB |
AABAB |
AABBB |
ABAAA |
ABAAB |
ABABA |
ABBAA |
AAAAAA |
AAAAAB |
AAAABA |
AAAABB |
AAABAB |
AAABBB |
AABAAA |
AABAAB |
AABABA |
AABABB |
AABBAA |
AABBAB |
AABBBA |
AABBBB |
ABAAAA |
ABAAAB |
ABAABA |
ABAABB |
ABABAB |
ABABBB |
More
More
Growth rate
Growth rate
Pure NestGraph
Pure NestGraph
[[[[ Need a NestGraph-like function ]]]]
No-Time Mathematics
No-Time Mathematics
Growth of mathematics by connectivity [“entailment fabric”] where the knitting is only local ... but the fabric gradually expands