Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`
OneSidedTuringMachineFunction  |
| | |
| "Value" "Steps" "Width" All | |
| |
Examples
(1)
Scope
(1)
Evaluate a whole family at once — every s=1, k=2 machine on inputs 1 through 8:
In[1]:=
 | OneSidedTuringMachineFunction |
Out[1]=
{{Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined},{0,2,0,4,4,6,0,8},{Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined},{3,3,7,5,7,7,15,9},{0,Undefined,2,Undefined,4,Undefined,6,Undefined},{0,2,2,4,4,6,6,8},{0,0,2,0,4,4,6,0},{0,3,2,5,4,7,6,9},{Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined},{Undefined,2,Undefined,4,Undefined,6,Undefined,8},{Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined,Undefined},{Undefined,3,Undefined,5,Undefined,7,Undefined,9},{1,Undefined,3,Undefined,5,Undefined,7,Undefined},{1,2,3,4,5,6,7,8},{1,3,3,7,5,7,7,15},{1,3,3,5,5,7,7,9}}
 |
|
Run the s=3, k=2 rule 600720 on input 1 for at most 32 steps: Return the number of steps it took to halt: Return the maximum tape width the head spanned: Return the steps, value, and width together:
In[1]:=
| OneSidedTuringMachineFunction |
Out[1]=
7
In[2]:=
| OneSidedTuringMachineFunction |
Out[2]=
5
In[3]:=
| OneSidedTuringMachineFunction |
Out[3]=
3
In[4]:=
| OneSidedTuringMachineFunction |
Out[4]=
{5,7,3}
""