WOLFRAM NOTEBOOK

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

In[]:=
TestMW[{{22},2}]
Out[]=

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

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

{{12},2}

Out[]=
{Null}
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.