MultiwaySystem[#,StringTuples["AB",3],6,"StatesGraphStructure"]&/@{{"A""AB","ABBB""B"},{"A""AB","ABBB""A"},{"A""AA","AAAA""B"},{"A""AB","BABB""B"}}
In[]:=
Out[]=
MultiwaySystem[#,"A",6,"StatesGraphStructure"]&/@{{"A""AB","ABBB""B"},{"A""AB","ABBB""A"},{"A""AA","AAAA""B"},{"A""AB","BABB""B"}}
In[]:=
Out[]=
CausalInvariantQ[#,"A",5]&/@{{"A""AB","ABBB""B"},{"A""AB","ABBB""A"},{"A""AA","AAAA""B"},{"A""AB","BABB""B"}}
In[]:=
{False,True,False,True}
Out[]=
CausalInvariantQ[{"A""AB","ABBB""B"},#,5]&/@StringTuples["AB",3]
In[]:=
{True,True,True,False,True,False,False,True}
Out[]=
ParallelMapMonitored[CausalInvariantQ[{"A""AB","ABBB""B"},#,6]&,StringTuples["AB",3]]
In[]:=
{True,False,False,False,True,False,False,True}
Out[]=
ParallelMapMonitored[CausalInvariantQ[{"A""AB","ABBB""B"},#,7]&,StringTuples["AB",3]]
In[]:=
{True,False,False,False,False,False,False,True}
Out[]=
MultiwaySystem[{"A""AB","ABBB""B"},"AAA",3,"StatesGraphStructure"]
In[]:=
Out[]=
MultiwaySystem[{"A""AB","ABBB""B"},"AAA",3,"CausalInvariantQ"]
In[]:=
True
Out[]=
MultiwaySystem[{"A""AB","ABBB""B"},"AAA",8,"CausalInvariantQ"]
In[]:=
True
Out[]=
{"A""AB","ABBB""B"}
​
​
​
MultiwaySystem[#,StringTuples["AB",3],6,"StatesGraphStructure"]&/@{{"A""AAA","AAA""B"},{"A""AAA","ABA""B"},{"A""ABA","BAB""A"}}
In[]:=
Out[]=
TestMWRules[{{"A""AAA","AAA""B"},{"A""AAA","ABA""B"},{"A""ABA","BAB""A"}},2]
In[]:=
Out[]=
TestMWRules@{{"A""AA","A""BAB"},{"A""AAA","AA""B"},{"A""AAB","AB""B"},{"A""BAB","BB""A"},{"A""AA","AA""BB"},{"A""BAB","BBB""A"},{"A""A","B""BB","AA""B"},{"A""AA","B""AA"},{"A""B","CC""AAB"},{"A""BB","C""BBB"},{"A""BBC","BC""C"},{"A""AA","AA""AB"},{"AB""A","BA""ABA"},{"AB""A","BA""ABB"}}
In[]:=
Counts::invl:The argument $Aborted is not a list.
(kernel 68)
Counts::invl:The argument $Aborted is not a list.
(kernel 65)
Counts
:The argument $Aborted is not a list.
Counts
:The argument $Aborted is not a list.
Out[]=
LayeredGraphPlot@MultiwaySystem[{"A""AA","AA""AB"},"AAA",5,"StatesGraph"]
In[]:=
Out[]=
LayeredGraphPlot@MultiwaySystem[{"A""AA","AA""AB"},"A",6,"StatesGraph"]
In[]:=
Out[]=
MultiwaySystem[{"A""AA","AA""AB"},"A",6,"WeakCriticalPairs"]
In[]:=
{{AAAAAB,AAAABA},{AAABB,AABAB},{ABABA,AABBA},{ABAAB,ABABA}}
Out[]=
MultiwaySystem[{"A""AA","AA""AB"},"A",3,"WeakCriticalPairs"]
In[]:=
{{AAB,ABA}}
Out[]=
MultiwaySystem[{"A""AA","AA""AB"},"A",2,"WeakCriticalPairs"]
In[]:=
{}
Out[]=
LayeredGraphPlot@MultiwaySystem[{"A""AA","AA""AB"},"AAA",5,"StatesGraphStructure"]
In[]:=
Out[]=
LayeredGraphPlot@MultiwaySystem[{"A""AA","AA""AB"},"AAA",4,"StatesGraph"]
In[]:=
Out[]=
mwg=MultiwaySystem[{"A""AA","AA""AB"},"AAA",4,"StatesGraph"];
In[]:=
FindPath[mwg,"AAA","ABAB",5,All]
In[]:=
{{AAA,ABA,ABAA,ABAB},{AAA,AAB,AAAB,ABAB},{AAA,AAAA,AAAB,ABAB},{AAA,AAAA,ABAA,ABAB}}
Out[]=
(DirectedEdge@@@Partition[#,2,1])&/@%
In[]:=
{{AAAABA,ABAABAA,ABAAABAB},{AAAAAB,AABAAAB,AAABABAB},{AAAAAAA,AAAAAAAB,AAABABAB},{AAAAAAA,AAAAABAA,ABAAABAB}}
Out[]=
HighlightGraph[mwg,Flatten[%]]
In[]:=
Out[]=
{"AAA""AAB","AAA""ABA"
EdgeList[MultiwaySystem[{"A""AA","AA""AB"},"AAA",4,"StatesGraph"]]
In[]:=
Out[]=
{"AAA""
LayeredGraphPlot@MultiwaySystem[{"A""AA","AA""AB"},"A",6,"StatesGraph"]
In[]:=
Out[]=