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
Wireworld
Guides
Wireworld
Tech Notes
Wireworld Package
Symbols
WireworldDraw
WireworldEvolve
WireworldPlot
WireworldStateQ
$WireworldFunctionRule
$WireworldNumberRule
DanielS`Wireworld`
W
i
r
e
w
o
r
l
d
S
t
a
t
e
Q
W
i
r
e
w
o
r
l
d
S
t
a
t
e
Q
[
e
x
p
r
]
g
i
v
e
s
T
r
u
e
i
f
e
x
p
r
i
s
a
v
a
l
i
d
W
i
r
e
w
o
r
l
d
s
t
a
t
e
,
a
n
d
F
a
l
s
e
o
t
h
e
r
w
i
s
e
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
Examples
(
2
)
Basic Examples
(
2
)
Test whether an expression is a valid Wireworld state:
I
n
[
1
]
:
=
W
i
r
e
w
o
r
l
d
S
t
a
t
e
Q
[
{
{
0
,
0
,
0
,
0
,
3
,
3
,
0
,
0
,
0
,
0
}
,
{
3
,
3
,
2
,
1
,
3
,
0
,
3
,
3
,
2
,
1
}
,
{
0
,
0
,
0
,
0
,
3
,
3
,
0
,
0
,
0
,
0
}
}
]
O
u
t
[
1
]
=
T
r
u
e
I
n
[
2
]
:
=
W
i
r
e
w
o
r
l
d
S
t
a
t
e
Q
S
p
a
r
s
e
A
r
r
a
y
S
p
e
c
i
f
i
e
d
e
l
e
m
e
n
t
s
:
1
5
D
i
m
e
n
s
i
o
n
s
:
{
3
,
1
0
}
O
u
t
[
2
]
=
T
r
u
e
The following are not valid states:
I
n
[
1
]
:
=
W
i
r
e
w
o
r
l
d
S
t
a
t
e
Q
[
{
{
1
}
,
{
2
,
3
}
}
]
O
u
t
[
1
]
=
F
a
l
s
e
I
n
[
2
]
:
=
W
i
r
e
w
o
r
l
d
S
t
a
t
e
Q
[
{
{
0
,
5
}
,
{
2
,
3
}
}
]
O
u
t
[
2
]
=
F
a
l
s
e
S
e
e
A
l
s
o
W
i
r
e
w
o
r
l
d
E
v
o
l
v
e
▪
W
i
r
e
w
o
r
l
d
P
l
o
t
▪
W
i
r
e
w
o
r
l
d
D
r
a
w
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
W
i
r
e
w
o
r
l
d
"
"