Causal Graphs
Causal Graphs
1953
In[]:=
With[{t=1000},Graph[Rule@@@TMCausalData[TuringMachine[1953,{{1,t},Table[0,2t+1]},t]]]]
Out[]=
In[]:=
With[{t=40},Graph[Rule@@@TMCausalData[TuringMachine[1953,{{1,t},Table[0,2t+1]},t]]]]
Out[]=
ResourceFunction["WolframPhysics
In[]:=
ResourceFunction["WolframPhysicsProjectStyleData"]["CausalGraph","EdgeStyle"]
Out[]=
In[]:=
ResourceFunction["WolframPhysicsProjectStyleData"]["CausalGraph","VertexStyle"]
Out[]=
Directive,EdgeForm,Opacity[1]
In[]:=
LayeredGraphPlot[With[{t=50},Graph[Rule@@@TMCausalData[TuringMachine[2506,{{1,t},Table[0,2t+1]},t]]]]]
Out[]=
In[]:=
minrules=Union[minrule/@allrules];
In[]:=
minrules[[1119]]
Out[]=
{{1,0}{2,0,-1},{1,1}{1,0,1},{2,0}{1,1,1},{2,1}{2,1,-1}}
In[]:=
Table[Labeled[With[{t=40},Graph[Rule@@@TMCausalData[TuringMachine[minrules[[n]],{{1,t},Table[0,2t+1]},t]]]],n],{n,Length[minrules]}]
From NKS book
From NKS book
In[]:=
ex3={{{1,0}{2,1,-1},{1,1}{3,0,1},{2,0}{1,1,1},{2,1}{2,1,-1},{3,0}{1,1,1},{3,1}{3,1,1}},{{1,0}{3,1,-1},{1,1}{2,0,1},{2,0}{1,1,1},{2,1}{3,1,1},{3,0}{2,1,1},{3,1}{1,0,-1}}};
In[]:=
ex4={{{1,0}{3,1,-1},{1,1}{2,1,-1},{2,0}{1,1,-1},{2,1}{4,1,1},{3,0}{2,1,1},{3,1}{1,0,-1},{4,0}{2,1,-1},{4,1}{4,0,1}},{{1,0}{4,1,1},{1,1}{3,1,1},{2,0}{1,0,1},{2,1}{4,0,-1},{3,0}{2,1,-1},{3,1}{1,0,1},{4,0}{3,1,-1},{4,1}{4,0,1}},{{1,0}{4,0,1},{1,1}{3,1,-1},{2,0}{1,1,-1},{2,1}{1,1,1},{3,0}{1,1,1},{3,1}{3,0,-1},{4,0}{2,1,1},{4,1}{2,1,1}},{{1,0}{2,1,-1},{1,1}{3,1,-1},{2,0}{4,1,1},{2,1}{2,0,1},{3,0}{1,0,-1},{3,1}{3,1,-1},{4,0}{1,1,-1},{4,1}{2,1,1}},{{1,0}{2,1,-1},{1,1}{1,0,1},{2,0}{4,0,-1},{2,1}{3,1,1},{3,0}{4,1,-1},{3,1}{1,1,1},{4,0}{1,1,1},{4,1}{2,0,-1}},{{1,0}{3,1,-1},{1,1}{3,0,1},{2,0}{4,1,-1},{2,1}{2,0,1},{3,0}{2,1,1},{3,1}{4,1,-1},{4,0}{1,1,1},{4,1}{4,0,-1}}};
In[]:=
With[{t=400},Graph[Rule@@@TMCausalData[TuringMachine[#,{{1,t},Table[0,2t+1]},t]],EdgeStyleResourceFunction["WolframPhysicsProjectStyleData"]["CausalGraph","EdgeStyle"],VertexStyleResourceFunction["WolframPhysicsProjectStyleData"]["CausalGraph","VertexStyle"]]]&/@ex3
Out[]=
,
Contents cannot be rendered at this time; please try again later
Contents cannot be rendered at this time; please try again later