RulePlot[TuringMachine[{i,1,2}]]
Out[]=
In[]:=
Table[RulePlot[TuringMachine[{i,1,2}],{1,{{},0}},20],{i,0,15}]
TuringMachine
:Position 2 in rule specification {0,1,2} must be an integer > 1.
TuringMachine
:Position 2 in rule specification {1,1,2} must be an integer > 1.
TuringMachine
:Position 2 in rule specification {2,1,2} must be an integer > 1.
General
:Further output of TuringMachine::sspec will be suppressed during this calculation.
Out[]=
{RulePlot[TuringMachine[{0,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{1,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{2,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{3,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{4,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{5,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{6,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{7,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{8,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{9,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{10,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{11,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{12,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{13,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{14,1,2}],{1,{{},0}},20],RulePlot[TuringMachine[{15,1,2}],{1,{{},0}},20]}
In[]:=
ResourceFunction["TuringMachineFromNumber"][345]
In[]:=
With[{t=3},MultiwayTuringMachine[{{{1,0}{1,1,-1}},{{1,0}{1,0,-1}}},{{1,t+1,0},Table[0,2t+1]},t,"EvolutionEventsGraph",AspectRatio.3,GraphLayout"LayeredDigraphEmbedding",VertexSize.17{2t+1,1},PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=3},MultiwayTuringMachine[{{{1,0}{1,1,-1}},{{1,0}{1,0,-1}}},{{1,t+1,0},Table[0,2t+1]},t,"EvolutionCausalGraph",AspectRatio.3,GraphLayout"LayeredDigraphEmbedding",VertexSize.17{2t+1,1},PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=5},MultiwayTuringMachine[{{{1,1}{2,0,-1}},{{1,0}{2,1,1}},{{1,0}{2,0,-1}},{{2,1}{1,0,1}},{{2,0}{1,1,-1}}},{{1,t+1,0},Table[0,2t+1]},t,"EvolutionCausalGraphStructure",GraphLayout"LayeredDigraphEmbedding",PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=3},MultiwayTuringMachine[{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",AspectRatio.8,GraphLayout"LayeredDigraphEmbedding",VertexSize.15{2t+1,1},PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=2},MultiwayTuringMachine[{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"StatesGraph",AspectRatio.8,GraphLayout"LayeredDigraphEmbedding",VertexSize.15{2t+1,1},PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=3},MultiwayTuringMachine[{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"EvolutionEventsGraph",AspectRatio.8,GraphLayout"LayeredDigraphEmbedding",VertexSize.15{2t+1,1},PerformanceGoal"Quality"]]
Out[]=
In[]:=
With[{t=3},MultiwayTuringMachine[{{{1,1}{1,0,-1}},{{1,0}{1,0,-1}},{{1,0}{1,1,1}}},{{1,t+1,0},Table[0,2t+1]},t,"EvolutionCausalGraph",AspectRatio.8,GraphLayout"LayeredDigraphEmbedding",VertexSize.15{2t+1,1},PerformanceGoal"Quality"]]
Out[]=

Causal Invariance Testing

Deterministic evolution

Cyclic Tapes

The s=1, k=2 case

Specific initial state

Infinite tapes

Probably this is weird:

Finite samples

AWS

Single initial condition:
All initial conditions:

Infinite tape case, again

Reflecting boundaries