Trace Complexity of Chaotic Reversible Cellular Automata
Dynamical Systems
2014-04-18 v1 Formal Languages and Automata Theory
Abstract
Delvenne, K\r{u}rka and Blondel have defined new notions of computational complexity for arbitrary symbolic systems, and shown examples of effective systems that are computationally universal in this sense. The notion is defined in terms of the trace function of the system, and aims to capture its dynamics. We present a Devaney-chaotic reversible cellular automaton that is universal in their sense, answering a question that they explicitly left open. We also discuss some implications and limitations of the construction.
Cite
@article{arxiv.1404.4519,
title = {Trace Complexity of Chaotic Reversible Cellular Automata},
author = {Jarkko Kari and Ville Salo and Ilkka Törmä},
journal= {arXiv preprint arXiv:1404.4519},
year = {2014}
}
Comments
12 pages + 1 page appendix, 4 figures. Accepted to Reversible Computation 2014 (proceedings published by Springer)