A Uniquely Ergodic Cellular Automaton
Abstract
We construct a one-dimensional uniquely ergodic cellular automaton which is not nilpotent. This automaton can perform asymptotically infinitely sparse computation, which nevertheless never disappears completely. The construction builds on the self-simulating automaton of Gács. We also prove related results of dynamical and computational nature, including the undecidability of unique ergodicity, and the undecidability of nilpotency in uniquely ergodic cellular automata.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2013
- DOI:
- 10.48550/arXiv.1310.0670
- arXiv:
- arXiv:1310.0670
- Bibcode:
- 2013arXiv1310.0670T
- Keywords:
-
- Mathematics - Dynamical Systems;
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 47 pages, 8 figures. Submitted to Journal of Computer and System Sciences