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`
$
P
v
s
N
P
S
t
y
l
e
s
$
P
v
s
N
P
S
t
y
l
e
s
i
s
a
n
a
s
s
o
c
i
a
t
i
o
n
o
f
n
a
m
e
d
c
o
l
o
r
s
,
c
o
l
o
r
r
u
l
e
s
,
a
n
d
p
l
o
t
o
p
t
i
o
n
s
s
h
a
r
e
d
b
y
t
h
e
p
a
c
k
a
g
e
'
s
v
i
s
u
a
l
i
z
a
t
i
o
n
f
u
n
c
t
i
o
n
s
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
Examples
(
1
)
Scope
(
1
)
The symbol-to-color rules used to paint the tape cells in the evolution plots:
I
n
[
1
]
:
=
$
P
v
s
N
P
S
t
y
l
e
s
[
"
T
u
r
i
n
g
M
a
c
h
i
n
e
C
o
l
o
r
R
u
l
e
s
"
]
O
u
t
[
1
]
=
0
,
1
,
2
,
-
1
S
e
e
A
l
s
o
O
n
e
S
i
d
e
d
T
u
r
i
n
g
M
a
c
h
i
n
e
P
l
o
t
▪
O
n
e
S
i
d
e
d
T
u
r
i
n
g
M
a
c
h
i
n
e
F
u
n
c
t
i
o
n
P
l
o
t
▪
O
n
e
S
i
d
e
d
T
u
r
i
n
g
M
a
c
h
i
n
e
R
u
n
t
i
m
e
P
l
o
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
The available style keys:
I
n
[
1
]
:
=
K
e
y
s
$
P
v
s
N
P
S
t
y
l
e
s
O
u
t
[
1
]
=
{
F
u
n
c
t
i
o
n
V
a
l
u
e
C
o
l
o
r
,
F
u
n
c
t
i
o
n
R
u
n
t
i
m
e
C
o
l
o
r
,
R
u
n
t
i
m
e
T
a
b
l
e
C
o
l
o
r
,
V
a
l
u
e
T
a
b
l
e
C
o
l
o
r
,
T
u
r
i
n
g
M
a
c
h
i
n
e
C
o
l
o
r
R
u
l
e
s
,
D
i
s
t
r
i
b
u
t
i
o
n
S
t
y
l
e
,
F
r
a
m
e
S
t
y
l
e
,
M
u
l
t
i
w
a
y
P
a
t
h
C
o
l
o
r
R
u
l
e
s
,
G
r
i
d
F
r
a
m
e
,
F
u
n
c
t
i
o
n
V
a
l
u
e
P
l
o
t
O
p
t
i
o
n
s
,
F
u
n
c
t
i
o
n
R
u
n
t
i
m
e
P
l
o
t
O
p
t
i
o
n
s
}
"
"