Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`
TuringMachineOutputWithStepsWidths  |
| {steps,output,width} | |
▪
Each cell is the full summary of a halting machine; non-halting pairs are left as a non-halting marker.
{steps,output,width}
{rule,input}
▪
This combines , , and into one table; for a numeric (packed) array of the same triples use .
Examples
(0)
 |
|
The shape of the table for every 2-state, 2-color machine over a small range of inputs:
{steps,output,width}
In[1]:=
Dimensions
[2,2,20,2]
 | TuringMachineOutputWithStepsWidths |
Out[1]=
{4096,2,3}
""