In[]:=
Clear[TestMW]
In[]:=
TestMW[{sig_,k_},tuplelen_:3,steps_:4,csteps_:3]:=With[{ab=StringJoin[ToUpperCase[FromLetterNumber[Range[k]]]]},InteractiveListSelectorSW[ParallelMapMonitored[Function[r,Labeled[MultiwaySystem[r,StringTuples[ab,tuplelen],steps,"StatesGraphStructure"],PopupWindow[{Counts[#],TimeConstrained[Select[Extract[StringTuples[ab,tuplelen],Position[#,True]],MultiwaySystem[r,#,csteps,"WeakCausalInvariantQ"]&],20]}&@TimeConstrained[CausalInvariantQ[r,#,csteps]&/@StringTuples[ab,tuplelen],20],r]]r],EnumerateSubstitutionSystemRules[sig,k]]]]
2: 22
2: 22
In[]:=
TestMW[{{22},2}]
Out[]=
3: 22
3: 22
In[]:=
TestMW[{{22},3}]
Out[]=
In[]:=
allrules=EnumerateSubstitutionSystemRules[{22},3]
Out[]=
{{AAAA},{AAAB},{AABB},{AABC},{ABAA},{ABAB},{ABAC},{ABBA},{ABBC},{ABCC}}
PopupWindow
2: 12, 21
2: 12, 21
In[]:=
allrules=EnumerateSubstitutionSystemRules[{12,21},2]
Out[]=
In[]:=
TestMW[{{12,21},2}]
Out[]=
In[]:=
MultiwaySystem[{"A""AA","AA""B"},"ABA",4,"StatesGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""AA","AA""B"},"ABA",3,"WeakCriticalPairs"]
Out[]=
{{AAABA,BBA},{ABB,ABAAA},{ABBA,BABA},{AAABAA,BBAA},{AABAAA,AABB},{ABAB,ABBA}}
In[]:=
MultiwaySystem[{"A""AA","AA""B"},"ABA",3,"CausalInvariantQ"]
Out[]=
True
In[]:=
MultiwaySystem[{"A""AA","AA""B"},"ABA",4,"CausalInvariantQ"]
Out[]=
False
In[]:=
MultiwaySystem[{"A""AA","AA""B"},"A",4,"StatesGraph"]
Out[]=
The Big Run
The Big Run
{{12},2}
{{12},2}