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,AA,AB,AAA,AAB,ABB,AAAA,AAAB,AABA,AABB,ABAB,ABBB,AAAA,AAAB,AABB,ABAA,ABAB,ABBA,AAAAA,AAAAB,AAABA,AAABB,AABAB,AABBB,ABAAA,ABAAB,ABABA,ABBAA,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,ABAAAA,ABAAAB,ABAABA,ABAABB,ABABAB,ABABBB}
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]
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[9697] received and discarded from kernel 92.
​
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[77518] received and discarded from kernel 64.
​
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[107219] received and discarded from kernel 92.
​
General
:Further output of Parallel`Protected`PacketHandler::default will be suppressed during this calculation.
Out[]=


,
A
,
AA
,
AB
,
AAA
,
AAB
,
ABA
,
AA
,
AB
,
AAA
,
AAB
,
ABB
,
AAAA
,
AAAB
,
AABA
,
AABB
,
ABAB
,
ABBB
,
AAAA
,
AAAB
,
AABB
,
ABAA
,
ABAB
,
ABBA
,
AAAAA
,
AAAAB
,
AAABA
,
AAABB
,
AABAB
,
AABBB
,
ABAAA
,
ABAAB
,
ABABA
,
ABBAA
,
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
,
ABAAAA
,
ABAAAB
,
ABAABA
,
ABAABB
,
ABABAB
,
ABABBB


More

Growth rate

Pure NestGraph

[[[[ Need a NestGraph-like function ]]]]

No-Time Mathematics

Growth of mathematics by connectivity [“entailment fabric”] where the knitting is only local ... but the fabric gradually expands