In[]:=
canonicalizePatterns[a_∘β[a_,c_]<->c_∘β[a_,c_]]
Out[]=
a_∘β[a_,b_]b_∘β[a_,b_]
In[]:=
AccumulativeTokenEventGraph[{a_∘β[a_,b_]b_∘β[a_,b_]},2,"S","TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[{a_∘β[a_,b_]b_∘β[a_,b_]},1,"B","TokenLabeling"->True]
Out[]=
In[]:=
VertexList[%197,_TwoWayRule]
Out[]=
{a_∘β[a_,b_]b_∘β[a_,b_],a_∘β[a_,a_]a_∘β[a_,a_],a_∘β[a_,b_]a_∘β[a_,b_],a_∘β[a_,b_∘β[b_,c_]](b_∘β[b_,c_])∘β[a_,c_∘β[b_,c_]],a_∘β[a_,b_∘β[b_,c_]](c_∘β[b_,c_])∘β[a_,b_∘β[b_,c_]],a_∘β[a_,b_∘β[b_,c_]](c_∘β[b_,c_])∘β[a_,c_∘β[b_,c_]],a_∘β[a_,b_∘β[c_,b_]](b_∘β[c_,b_])∘β[a_,c_∘β[c_,b_]],a_∘β[a_,b_∘β[c_,b_]](c_∘β[c_,b_])∘β[a_,b_∘β[c_,b_]],a_∘β[a_,b_∘β[c_,b_]](c_∘β[c_,b_])∘β[a_,c_∘β[c_,b_]],a_∘β[b_,a_]a_∘β[b_,a_],c_∘β[a_∘β[a_,b_],c_](a_∘β[a_,b_])∘β[b_∘β[a_,b_],c_],c_∘β[a_∘β[b_,a_],c_](a_∘β[b_,a_])∘β[b_∘β[b_,a_],c_],c_∘β[b_∘β[a_,b_],c_](a_∘β[a_,b_])∘β[a_∘β[a_,b_],c_],c_∘β[b_∘β[a_,b_],c_](a_∘β[a_,b_])∘β[b_∘β[a_,b_],c_],c_∘β[b_∘β[b_,a_],c_](a_∘β[b_,a_])∘β[a_∘β[b_,a_],c_],c_∘β[b_∘β[b_,a_],c_](a_∘β[b_,a_])∘β[b_∘β[b_,a_],c_]}
In[]:=
AccumulativeTokenEventGraph[{α[]∘α[]α[]},1,"B","TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[{α[]∘α[]α[]},2,"B","TokenLabeling"->True]
Out[]=
In[]:=
VertexList[%,_TwoWayRule]
Out[]=
{α[]∘α[]α[],(α[]∘α[])∘α[]α[],α[]∘(α[]∘α[])α[],α[]∘α[]α[]∘α[],α[]α[],(((α[]∘α[])∘α[])∘α[])∘α[]α[],((α[]∘(α[]∘α[]))∘α[])∘α[]α[],((α[]∘α[])∘α[])∘(α[]∘α[])α[],((α[]∘α[])∘α[])∘α[]α[]∘α[],((α[]∘α[])∘α[])∘α[]α[],(α[]∘((α[]∘α[])∘α[]))∘α[]α[],(α[]∘(α[]∘(α[]∘α[])))∘α[]α[],(α[]∘(α[]∘α[]))∘(α[]∘α[])α[],(α[]∘(α[]∘α[]))∘α[]α[]∘α[],(α[]∘(α[]∘α[]))∘α[]α[],(α[]∘α[])∘((α[]∘α[])∘α[])α[],(α[]∘α[])∘(α[]∘(α[]∘α[]))α[],(α[]∘α[])∘(α[]∘α[])α[],(α[]∘α[])∘α[](α[]∘α[])∘α[],(α[]∘α[])∘α[]α[]∘(α[]∘α[]),(α[]∘α[])∘α[]α[]∘α[],α[]∘(((α[]∘α[])∘α[])∘α[])α[],α[]∘((α[]∘(α[]∘α[]))∘α[])α[],α[]∘((α[]∘α[])∘α[])α[]∘α[],α[]∘((α[]∘α[])∘α[])α[],α[]∘(α[]∘((α[]∘α[])∘α[]))α[],α[]∘(α[]∘(α[]∘(α[]∘α[])))α[],α[]∘(α[]∘(α[]∘α[]))α[]∘α[],α[]∘(α[]∘(α[]∘α[]))α[],α[]∘(α[]∘α[])α[]∘(α[]∘α[]),α[]∘(α[]∘α[])α[]∘α[]}
In[]:=
%/.α[]->α
Out[]=
{α∘αα,(α∘α)∘αα,α∘(α∘α)α,α∘αα∘α,αα,(((α∘α)∘α)∘α)∘αα,((α∘(α∘α))∘α)∘αα,((α∘α)∘α)∘(α∘α)α,((α∘α)∘α)∘αα∘α,((α∘α)∘α)∘αα,(α∘((α∘α)∘α))∘αα,(α∘(α∘(α∘α)))∘αα,(α∘(α∘α))∘(α∘α)α,(α∘(α∘α))∘αα∘α,(α∘(α∘α))∘αα,(α∘α)∘((α∘α)∘α)α,(α∘α)∘(α∘(α∘α))α,(α∘α)∘(α∘α)α,(α∘α)∘α(α∘α)∘α,(α∘α)∘αα∘(α∘α),(α∘α)∘αα∘α,α∘(((α∘α)∘α)∘α)α,α∘((α∘(α∘α))∘α)α,α∘((α∘α)∘α)α∘α,α∘((α∘α)∘α)α,α∘(α∘((α∘α)∘α))α,α∘(α∘(α∘(α∘α)))α,α∘(α∘(α∘α))α∘α,α∘(α∘(α∘α))α,α∘(α∘α)α∘(α∘α),α∘(α∘α)α∘α}
In[]:=
AccumulativeTokenEventGraph[{a_∘a_a_},1,"B","TokenLabeling"->True]
Out[]=
VertexList[%197,_TwoWayRule]
In[]:=
AccumulativeTokenEventGraph[{a_∘β[a_]a_},1,"B","TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[{a_∘b_a_},1,"B","TokenLabeling"->True]
Out[]=
In[]:=
VertexList[AccumulativeTokenEventGraph[{a_∘β[a_]a_},1,"B","TokenLabeling"->True,GraphLayout->"SpringElectricalEmbedding",AspectRatio1/2],_TwoWayRule]
Out[]=
{a_∘β[a_]a_,a_a_,a_a_∘(β[a_]∘β[β[a_]]),a_a_∘β[a_],a_a_∘β[a_∘β[a_]],a_(a_∘β[a_])∘β[a_],a_(a_∘β[a_])∘β[a_∘β[a_]],a_∘β[a_]a_∘β[a_],a_∘β[a_]a_∘β[a_∘β[a_]],a_∘β[a_](a_∘β[a_])∘β[a_]}