Trace Complexity of Chaotic Reversible Cellular Automata
: Jarkko Kari, Ville Salo, Ilkka Törmä
: Reversible Computation
: 2014
: Lecture Notes in Computer Science
: Lecture Notes in Computer Science
: 8507
: 54
: 66
: 13
: 978-3-319-08493-0
: 0302-9743
DOI: https://doi.org/10.1007/978-3-319-08494-7_5
Delvenne, Ků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.