WolframInstitute/TuringMachine

WolframInstitute`TuringMachine`

TuringMachineOutputWithSteps

TuringMachineOutputWithSteps [s,k,n,maxInput]
	gives a nested list where each cell is {steps,output} for a halting machine, over every s-state, k-color rule and every input up to maxInput.

TuringMachineOutputWithSteps [s,k,n,minInput,maxInput]
	uses an explicit input range.

Details and Options

▪

Each cell pairs the number of steps with the halted output value; a

{rule,input}

pair that does not halt within n steps is left as a non-halting marker.

▪

This is the

{steps,output}

companion of

; for a numeric (packed) array of the same data use

, and to add the head width use

.

Examples

(1)

Basic Examples

(1)

Pair the step count with the halted output for every 2-state, 2-color machine over a small range of inputs:

In[1]:=

TuringMachineOutputWithSteps

[2,2,20,2]

SeeAlso

▪

▪

▪

RelatedGuides

▪

""