In[]:=
CausalInvariantQ[WolframModel[{{{x,y,z}}{{x,u,u,v},{v,w,z}},{{x,y,y,z}}{{x,u,z}}}],{{0,A1,1}},1]
Out[]=
True
In[]:=
CausalInvariantQ[WolframModel[{{{x,y,z}}{{x,u,u,v},{v,w,z}},{{x,y,y,z}}{{x,u,z}}}],{{0,0,0}},1]
Out[]=
True
In[]:=
WolframModel[{{{x,y,z}}{{x,u,u,v},{v,w,z}},{{x,y,y,z}}{{x,u,z}}}]
Out[]=
WolframModel[{{{x,y,z}}{{x,u,u,v},{v,w,z}},{{x,y,y,z}}{{x,u,z}}}]
In[]:=
CausalInvariantQ[{"A""BA","B""A"},"A",1]
Out[]=
True
In[]:=
StringToWMSet["A"]
Out[]=
{{0,A1,1}}
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""BA","B""A"}]],StringToWMSet["A"],5,"StatesGraph",VertexSize1]
Out[]=
In[]:=
MultiwaySystem[{"A""BA","B""A"},"A",5,"StatesGraph"]
Out[]=
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""BA","B""A"}]],StringToWMSet["A"],2,"StatesGraph",VertexSize1]
Out[]=
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""BA","B""A"}]],StringToWMSet["A"],5,"BranchialGraph",VertexSize1]
Out[]=
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""BA","B""A"}]],StringToWMSet["A"],5]
Out[]=
In[]:=
StringRuleToWMRule[{"A""AA"}]
Out[]=
{{{0,A1,1}}{{0,A1,-2},{-2,A2,1}}}
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""AA"}]],StringToWMSet["A"],4,"StatesGraph",VertexSize1]
Out[]=
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""ABA"}]],StringToWMSet["A"],4,"StatesGraph",VertexSize1]
Out[]=
In[]:=
MultiwaySystem[WolframModel[StringRuleToWMRule[{"A""ABAA"}]],StringToWMSet["A"],4,"StatesGraph",VertexSize1]
Out[]=
Out[]=
{A,BA,ABA,BAABA,ABABAABA,BAABAABABAABA}
ResourceFunction["SubstitutionSystemPlot"][{"A"{"B"},"B"{"A","B"}},{"A"},6]
{"A""BA","B""A"}
In[]:=
ResourceFunction["SubstitutionSystemPlot"][{"A"{"B","A"},"B"{"A"}},{"A"},6]
Out[]=
$Failed[{A{B,A},B{A}},{A},6]
Graph Emulation
Graph Emulation
In[]:=
unorderedHyperedgesToGraph[edges_]:=Catenate[Replace[edges,vertices_Thread[Unique[]vertices],{1}]]
UndirectedGraph[{31,41,12,25,26},GraphLayout"SpringElectricalEmbedding"]
Out[]=
[[[ page 513 ]]]
This is not deterministic
Function Evaluation
Function Evaluation
NP problem
NP problem
Pick a branch in multiway system
E.g. NDTM