mwtmrule[rules_]:=<|"StateEvolutionFunction"((Function[ru,TuringMachine[ru][#]]/@rules)&),"StateEquivalenceFunction"SameQ,"StateEventFunction"Identity,"EventDecompositionFunction"Identity,"EventApplicationFunction"Identity,"SystemType""TuringMachine","EventSelectionFunction"Identity|>
In[]:=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[5]],{{{1,1,0},{0,0,0,0}}},6,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,20]],{{{1,1,0},{0,0,0,0}}},6,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,30]],{{{1,1,0},{0,0,0,0}}},6,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[2000,2010]],{{{1,1,0},{0,0,0,0}}},6,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"StatesGraphStructure"]
In[]:=
Out[]=
LayeredGraphPlot[%108,AspectRatio1/3]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"CausalInvariantQ"]
In[]:=
True
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"StatesGraph","StateRenderingFunction"Inherited]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"StatesGraphStructure","IncludeEventInstances"True]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"StatesGraphStructure","IncludeStatePathWeights"True]
In[]:=
$Aborted
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,127]],{{{1,1,0},{0,0,0,0}}},3,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,255]],{{{1,1,0},{0,0,0,0}}},3,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,255]],{{{1,1,0},{0,0,0,0}}},3,"CausalInvariantQ"]
In[]:=
False
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,511]],{{{1,1,0},{0,0,0,0}}},3,"StatesGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},3,"StatesGraphStructure"]
In[]:=
Out[]=
LayeredGraphPlot[%,AspectRatio1/2]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0}}},3,"StatesGraphStructure"]
In[]:=
Out[]=
LayeredGraphPlot[%,AspectRatio1/2]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},4,"StatesGraphStructure"]
In[]:=
Out[]=
Graph3D[%129]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},1,"BranchialGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},2,"BranchialGraphStructure"]
In[]:=
Out[]=
ResourceFunction["MultiwaySystem"][mwtmrule[Range[0,4095]],{{{1,1,0},{0,0,0,0}}},3,"BranchialGraphStructure"]
In[]:=
Out[]=
These are the nearby states in rulial space.... I.e. small change in “algorithm” takes one to each different state
[[[ What is multiway causal graph like? ]]]
? Also consider all possible initial conditions
? Also consider all possible initial conditions
The Structure of Maximally Non-Deterministic Turing Machine Space AKA Turing Machine Rulial Space
The Structure of Maximally Non-Deterministic Turing Machine Space AKA Turing Machine Rulial Space
? Consider subsets of TMs: e.g. symmetric rules
? Consider subsets of TMs: e.g. symmetric rules