Reversible Cellular Automaton Able to Simulate
15
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
15
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
- both nite
- simulate any reversible
- can simulate
- called nodes
- partition
- reversible pa
- transition function
Publié par
Langue
English
b
Rev
the
ersible
the
Cellular
des
Automaton
out
Able
imensional
to
no
Sim
CA
ulate
v
An
b
y
exists
Other
P
Rev
ysical
ersible
a
One
lo
Using
is
P
is
artitioning
pap
Automata
sim
Je
and
Olivier
d
Durandose
CA
?
v
Departamen
duced
to
of
de
they
Ingenier
the
Matemica
is
F
a
acultad
from
de
mapp
Ciencias
This
Ficas
Co
y
one
Matemicas
In
Univ
and
ersidad
A
de
automata
Chile
of
San
A
tiago
deduced
Chile
eail
ersible
jdurandl
ulate
aim
A
a
ite
im
ere
c
and
hi
80's
le
other
cl
Lik
LA
an
TIN
p
'95,
a
LNCS
states
911,
v
pp
the
230244
deed
Abstract
elementary
P
set
artitioning
orho
automata
a
(P
diren
A
as
are
the
deed
Chile
They
in
are
only
equiv
ite
alen
presen
t
some
to
results
cellular
automata
automata
m
A
with
Rev
sho
ersible
an
sublasses
rev
are
ersal
also
detailed
equiv
result
alen
an
t
with
A
,
simple
imensional
rev
A
ersible
to
and
y
univ
ersible
ersal
CA
partitioning
b
automaton
inite
is
automata
describ
in
ed
y
Finally
oli
,
of
it
mo
is
gases
sho
ersible
wn
nomena
that
cellular
there
ork
are
lattice
rev
is
ersible
t
P
and
A
alue
and
set
CA
A
that
h
are
of
able
e
to
function
sim
A
ulate
y
an
rule
y
ansition
rev
to
ersible
tiles
P
neigh
A
d
or
in
CA
The
on
in
an
regular
y
h
conuration
supp
1
ECOS
In
renc
tro
eration
duction
this
The
true
main
dimension
in
but
terest
o
of
er
rev
conurations
ersibilit
the
y
t
in
er
computation
deitions
is
basic
bac
ab
ktrac
partitioning
king
(P
a
and
phenomenon
utual
to
ulations
its
cellular
source
are
and
wn
in
efore
relation
example
with
a
ph
ersible
ysics
univ
iso
P
en
is
tropic
Then
phenomena
main
mo
is
delization
for
and
y
sa
,
ving
2
energy
d
,
there
and
d
had
rev
ha
P
v
and
e
able
v
sim
arious
an
in
d
terests
rev
in
P
relation
or
to
o
ph
er
ysics
oth
as
and
ex
conurations
plained
artitioning
b
w
y
st
T
tro
oli
b
and
Margolus
Margolus
T
in
in
[15].
middle
It
the
is
as
w
dels
ell
lattice
kno
and
wn
rev
that
ph
giv
phe
en
[14].
an
e
y
automata
d
w
-
on
dimensional
inite
cellular
A
automata
de
A
a
it
oin
can
of
b
lattice
e
has
sim
v
ulated
in
b
ite
y
of
one
.
(
tile
d
a
dimensio
nal
rectangle
CA
no
whic
Lik
h
CA
is
global
rev
of
ersible
P
[12].
is
It
b
is
a
still
cal
an
called
op
tr
en
function
problem
and
if
the
it
of
can
or
b
a
e
b
sim
o
ulated
is
b
ed
y
to
a
cell
rev
plane
ersible
cut
CA
to
of
t
the
?
same
researc
dimension
w
F
partially
or
orted
example
y
Morita
and
sho
F
w
h
ed
op
in
in
[7]
thatIt
partitions
b
of
w
tiles
y
(a
The
partition
;
is
er
fully
,
determined
results
b
a
y
(
h
built
,
onservative
v
rev
and
wn
its
CA
origin
can
An
ork
elementary
a
tr
)
ansition
o
is
of
the
h
parallel
It
replacemen
oli
t
ersible
of
[6]
all
or
the
this
tiles
ulate
of
it
a
an
giv
univ
en
is
parti
2
tion
e
b
no
y
states
their
h
images
1.
b
and
y
Q
the
v
elemen
follo
tary
y
transition
1
function
ignals
The
sim
glob
F
al
logicunctionalit
tr
all
ansition
the
function
K
is
do
the
without
sequen
can
tial
logic
comp
constructions
osition
is
of
ersible
v
of
arious
there
elemen
able
tary
P
transitions
w
A
in
P
y
A
an
is
extended
rev
automata
ersible
a
i
Z
its
of
global
h
function
a
is
c
in
v
v
(
ertible
of
and
y
is
n
the
b
global
tile
function
,
of
,
some
(
P
2
A
of
It
(
is
)
equiv
;
alen
and
t
arc
to
and
bijectivit
able
y
an
of
olean
the
and
elemen
a
tary
called
transition
gic
function
are
whic
k
h
um
is
1
decidable
demonstrated
emma
it
8).
y
Cellular
com
automata
t
A
P
are
ulate
the
of
most
results
famous
and
mo
is
del
P
of
to
parallel
y
phenomena
A
and
the
arc
oth
hitectures
concluded
They
rev
ha
P
v
sim
e
rev
b
or
een
explained
widely
turn
studied
P
for
one
decades
ulate
and
one
there
rev
is
more
a
b
lot
higher
of
P
results
A
ab
v
out
inite
them
(
[16].
2
After
oin
a
are
brief
.
deition
de
of
alue
CA
set
b
.
oth
ation
sim
with
ulations
in
b
de
e
Q
t
the
w
Deiti
een
x
CA
e
and
nonero
P
b
A
and
and
t
b
tegers
et
;
w
een
co
rev
ersible
(
CA
and
and
y
rev
conuration
ersible
is
P
rectangle
A
:
are
c
constructed
+
Th
us
[0
as
far
1]
as
signals
computation
to
is
the
concerned
hitecture
the
routing
class
gates
of
is
P
to
A
ulate
esp
y
rev
o
ersible
circuit
P
redkin
A
T
is
studied
equiv
binary
alen
y
t
c
to
lo
the
where
one
functions
of
rev
CA
and
esp
eep
rev
n
ersible
b
CA
of
and
[13,2].
the
Morita
class
in
of
that
P
can
A
an
is
ite
com
ersible
putational
puting
univ
constan
ersal
inputs
ble
drop
to
u
sim
sim
ulate
an
an
circuit
y
this
T
Using
uring
of
mac
logic
hine
some
The
it
fact
sho
that
that
CA
u
and
able
P
sim
A
an
can
rev
sim
P
ulate
Finally
eac
gathering
h
result
other
b
w
parts
as
is
already
that
men
exist
tioned
ersible
b
and
y
A
T
to
oli
ulate
and
y
Margolus
ersible
in
A
[14].
CA
Here
is
full
ho
constructiv
to
e
this
demonstrations
ersal
that
A
care
to
ab
that
out
sim
conserv
an
ation
other
of
but
