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
WolframInstitute`TuringMachine`
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
[
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
o
f
h
a
l
t
e
d
o
u
t
p
u
t
s
f
o
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
,
r
u
n
n
i
n
g
e
a
c
h
m
a
c
h
i
n
e
f
o
r
a
t
m
o
s
t
n
s
t
e
p
s
.
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
[
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
Examples
(
1
)
Scope
(
1
)
Count how many
{
r
u
l
e
,
i
n
p
u
t
}
pairs halt within 20 steps:
I
n
[
1
]
:
=
C
o
u
n
t
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
[
2
,
2
,
2
0
,
2
]
,
_
I
n
t
e
g
e
r
,
{
2
}
O
u
t
[
1
]
=
5
4
3
2
S
e
e
A
l
s
o
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
O
u
t
p
u
t
W
i
t
h
S
t
e
p
s
W
i
d
t
h
s
▪
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
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 shape of the output table for every 2-state, 2-color machine over a small range of inputs:
I
n
[
1
]
:
=
D
i
m
e
n
s
i
o
n
s
T
u
r
i
n
g
M
a
c
h
i
n
e
O
u
t
p
u
t
[
2
,
2
,
2
0
,
2
]
O
u
t
[
1
]
=
{
4
0
9
6
,
2
}
"
"