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
MultiwayTuringMachineRules
NonTerminatingTuringMachineQ
OneSidedTuringMachineFind
OneSidedTuringMachineFunction
OneSidedTuringMachinePlot
TuringMachineOutput
TuringMachineOutputWithStepsFloat
TuringMachineOutputWithSteps
TuringMachineOutputWithStepsWidthsFloat
TuringMachineOutputWithStepsWidths
TuringMachineRuleCases
TuringMachineRuleCount
TuringMachineSteps
TuringMachineStepsWidths
TuringMachineWidths
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
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
"
"