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
Turing Machine
Tech Notes
Exploring One-Sided Turing Machines
Symbols
boundaryAxiomsFor
cachedProofFor
CompressToRunLength
DecodeTuringMachineRules
FindInductiveProof
forAllBody
goalFor
inductionProofGraph
IslandsPanel
mergedProofFor
MultiwayBothPanel
multiwayCloudOverlap
multiwayDistance
MultiwayEquationalGraph
MultiwayGeodesicGraph
MultiwayInductiveProofPanel
MultiwayNonHaltedStatesLeft
MultiwayRuleGraph
multiwaySubProofCones
multiwaySystemFor
MultiwayTokenEventGraph
MultiwayTuringMachineFunction
MultiwayTuringMachinePlot
MultiwayTuringMachineRules
NonTerminatingTuringMachineQ
OneSidedTuringMachineEvolution
OneSidedTuringMachineFind
OneSidedTuringMachineFunction
OneSidedTuringMachineFunctionPlot
OneSidedTuringMachinePlot
OneSidedTuringMachineRuntimePlot
onesRunDefinitions
proofGraph
RenderAxiomGrid
RenderConfiguration
RenderEquation
RenderUniversalGoal
RuleSpacePanel
RunMachine
SettingsPanel
ShowTapeConfiguration
StatementPanel
TokenEventPanel
transitionAxiomsFor
TuringMachineOutput
TuringMachineOutputWithStepsFloat
TuringMachineOutputWithSteps
TuringMachineOutputWithStepsWidthsFloat
TuringMachineOutputWithStepsWidths
TuringMachineRuleCases
TuringMachineRuleCount
TuringMachineSteps
TuringMachineStepsWidths
TuringMachineWidths
TuringMachineWorstCasePlot
unboundAxiom
zerosRunDefinitions
$InductiveProofColors
$PvsNPStyles
Overviews
TuringMachine
TuringMachine
Guide
T
u
r
i
n
g
M
a
c
h
i
n
e
Symbols
One-sided Turing machines
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
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
i
n
d
Rule enumeration
T
u
r
i
n
g
M
a
c
h
i
n
e
R
u
l
e
C
o
u
n
t
T
u
r
i
n
g
M
a
c
h
i
n
e
R
u
l
e
C
a
s
e
s
Behavior over rule spaces
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
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
W
i
d
t
h
s
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
W
i
d
t
h
s
T
u
r
i
n
g
M
a
c
h
i
n
e
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
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
F
l
o
a
t
Multiway (nondeterministic) machines
M
u
l
t
i
w
a
y
T
u
r
i
n
g
M
a
c
h
i
n
e
R
u
l
e
s
M
u
l
t
i
w
a
y
T
u
r
i
n
g
M
a
c
h
i
n
e
F
u
n
c
t
i
o
n
M
u
l
t
i
w
a
y
N
o
n
H
a
l
t
e
d
S
t
a
t
e
s
L
e
f
t
N
o
n
T
e
r
m
i
n
a
t
i
n
g
T
u
r
i
n
g
M
a
c
h
i
n
e
Q
Visualization
O
n
e
S
i
d
e
d
T
u
r
i
n
g
M
a
c
h
i
n
e
E
v
o
l
u
t
i
o
n
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
T
u
r
i
n
g
M
a
c
h
i
n
e
W
o
r
s
t
C
a
s
e
P
l
o
t
M
u
l
t
i
w
a
y
T
u
r
i
n
g
M
a
c
h
i
n
e
P
l
o
t
P
v
s
N
P
S
t
y
l
e
s
Tutorials
E
x
p
l
o
r
i
n
g
O
n
e
-
S
i
d
e
d
T
u
r
i
n
g
M
a
c
h
i
n
e
s
"
"