WolframInstitute/TuringMachine

WolframInstitute`TuringMachine`

TuringMachineStepsWidths

[s,k,n,maxInput]

gives a list of

{steps,width}

pairs for halting s-state, k-color machines over every input up to maxInput.

Details and Options

▪

Each cell pairs the halting time with the maximum head width, so it is the joint

{steps,width}

view of

and

.

▪

Add the output value with

.

Examples

(0)

SeeAlso

▪

▪

RelatedGuides

▪

The shape of the

{steps,width}

table for every 2-state, 2-color machine over a small range of inputs:

In[1]:=

Dimensions

TuringMachineStepsWidths

[2,2,20,2]

Out[1]=

{4096,2,2}

""