Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
TuringMachine
Guides
TuringMachine
Tech Notes
Exploring One-Sided Turing Machines
Symbols
MultiwayNonHaltedStatesLeft
MultiwayTuringMachineFunction
MultiwayTuringMachinePlot
MultiwayTuringMachineRules
NonTerminatingTuringMachineQ
OneSidedTuringMachineEvolution
OneSidedTuringMachineFind
OneSidedTuringMachineFunction
OneSidedTuringMachineFunctionPlot
OneSidedTuringMachinePlot
OneSidedTuringMachineRuntimePlot
TuringMachineOutput
TuringMachineOutputWithStepsFloat
TuringMachineOutputWithSteps
TuringMachineOutputWithStepsWidthsFloat
TuringMachineOutputWithStepsWidths
TuringMachineRuleCases
TuringMachineRuleCount
TuringMachineSteps
TuringMachineStepsWidths
TuringMachineWidths
TuringMachineWorstCasePlot
$PvsNPStyles
Overviews
TuringMachine
WolframInstitute`TuringMachine`
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
[
s
,
k
,
n
,
m
a
x
I
n
p
u
t
]
g
i
v
e
s
a
n
e
s
t
e
d
l
i
s
t
w
h
e
r
e
e
a
c
h
c
e
l
l
i
s
{
s
t
e
p
s
,
o
u
t
p
u
t
}
f
o
r
a
h
a
l
t
i
n
g
m
a
c
h
i
n
e
,
o
v
e
r
e
v
e
r
y
s
-
s
t
a
t
e
,
k
-
c
o
l
o
r
r
u
l
e
a
n
d
e
v
e
r
y
i
n
p
u
t
u
p
t
o
m
a
x
I
n
p
u
t
.
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
[
s
,
k
,
n
,
m
i
n
I
n
p
u
t
,
m
a
x
I
n
p
u
t
]
u
s
e
s
a
n
e
x
p
l
i
c
i
t
i
n
p
u
t
r
a
n
g
e
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
▪
Each cell pairs the number of steps with the halted output value; a
{
r
u
l
e
,
i
n
p
u
t
}
pair that does not halt within
n
steps is left as a non-halting marker.
▪
This is the
{
s
t
e
p
s
,
o
u
t
p
u
t
}
companion of
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
; for a numeric (packed) array of the same data use
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
F
l
o
a
t
, and to add the head width use
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
W
i
d
t
h
s
.
Examples
(
0
)
S
e
e
A
l
s
o
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
▪
T
u
r
i
n
g
M
a
c
h
i
n
e
S
t
e
p
s
▪
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
W
i
d
t
h
s
▪
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
F
l
o
a
t
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
T
u
r
i
n
g
M
a
c
h
i
n
e
Pair the step count with the halted output for every 2-state, 2-color machine over a small range of inputs:
"
"