Abstract
We give an explicit and efficiently computable formula for the inverse of D-dimensional linear cellular automata over Zm (D≥ 1, m ≥ 2). We use this formula to get an easy-to-check necessary and sufficient condition for an invertible one-dimensional linear CA to be expansive, and we prove that this condition is equivalent to topological transitivity.
Lingua originale | Inglese |
---|---|
pagine (da-a) | 60-67 |
Numero di pagine | 8 |
Rivista | Journal of Computer and System Sciences |
Volume | 56 |
Numero di pubblicazione | 1 |
DOI | |
Stato di pubblicazione | Pubblicato - feb 1998 |
Pubblicato esternamente | Sì |