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 »
WOLFRAM NOTEBOOK
Non-Terminating
Non-Terminating
In[]:=
TraceCausalGraph[Table[i^2+i,{i,2}],GraphLayout->{"LayeredDigraphEmbedding","Orientation"->Left},"ShowPositions"->True]
Out[]=
In[]:=
TraceCausalGraph[x=x+1,10,GraphLayout->"SpiralEmbedding"]
Out[]=
In[]:=
Clear[x]
In[]:=
TraceCausalGraph[x={x,x},10,GraphLayout->"SpiralEmbedding"]
Out[]=
In[]:=
Clear[x,y]
In[]:=
TraceCausalGraph[x=y;y=x,"TraceSteps"->100,GraphLayout->"SpiralEmbedding"]
Out[]=
In[]:=
Clear[x,y]
TraceCausalGraph[x=y;y=x,"TraceSteps"->100,GraphLayout->"SpiralEmbedding"]
In[]:=
Clear[x]
In[]:=
x:={x,x};
In[]:=
MultiEvaluate[x,3,"Graph"]
Out[]=
In[]:=
Clear[x]
In[]:=
x:=x+1;
In[]:=
MultiEvaluate[x,3,"Graph"]
Out[]=
Causal Graphs
Causal Graphs
Something not in the system: f[1]=1; f[1]=2 ;; f[1] = Multi[1,2]
Multicomputation
Multicomputation
Simple Example
Simple Example
Non-Confluent
Non-Confluent
Whenever there is an alternative
When there is an overlap
More
More
Without Equivalencing
Without Equivalencing
Logical Flow
Logical Flow
There is a particular evaluation order done by the evaluator ; a succession of states ;;; where the succession is obtained by evaluation events
We can analyze those events in terms of causal dependence...
Given that causal graph, we can pick different evaluation orders, implying different sequences of states....
Flip around: Given a state, what events can occur from that state? That leads to multiple states, and a multiway tree...
But [I claim] this isn’t all possible events; it’s only once reached from a certain evaluation order....
Another approach
Another approach
Given a state, there are certain events that can occur. These define the multiway tree ... then graph.