TY - JOUR
T1 - On computing the entropy of cellular automata
AU - D'amico, Michele
AU - Manzini, Giovanni
AU - Margara, Luciano
N1 - Publisher Copyright:
© 2002 Elsevier Science B.V.
PY - 2003/1/4
Y1 - 2003/1/4
N2 - We study the topological entropy of a particular class of dynamical systems: cellular automata. The topological entropy of a dynamical system (X,F) is a measure of the complexity of the dynamics of F over the space X. The problem of computing (or even approximating) the topological entropy of a given cellular automata is algorithmically undecidable (Ergodic Theory Dynamical Systems 12 (1992) 255). In this paper, we show how to compute the entropy of two important classes of cellular automata namely, linear and positively expansive cellular automata. In particular, we prove a closed formula for the topological entropy of D-dimensional (D⩾1) linear cellular automata over the ring Z m(m⩾2) and we provide an algorithm for computing the topological entropy of positively expansive cellular automata.
AB - We study the topological entropy of a particular class of dynamical systems: cellular automata. The topological entropy of a dynamical system (X,F) is a measure of the complexity of the dynamics of F over the space X. The problem of computing (or even approximating) the topological entropy of a given cellular automata is algorithmically undecidable (Ergodic Theory Dynamical Systems 12 (1992) 255). In this paper, we show how to compute the entropy of two important classes of cellular automata namely, linear and positively expansive cellular automata. In particular, we prove a closed formula for the topological entropy of D-dimensional (D⩾1) linear cellular automata over the ring Z m(m⩾2) and we provide an algorithm for computing the topological entropy of positively expansive cellular automata.
UR - http://www.scopus.com/inward/record.url?scp=84994021855&partnerID=8YFLogxK
U2 - 10.1016/S0304-3975(02)00071-3
DO - 10.1016/S0304-3975(02)00071-3
M3 - Article
SN - 0304-3975
VL - 290
SP - 1629
EP - 1646
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 3
ER -