A4 Refereed article in a conference publication
Trace Complexity of Chaotic Reversible Cellular Automata
Authors: Jarkko Kari, Ville Salo, Ilkka Törmä
Conference name: Reversible Computation
Publication year: 2014
Journal: Lecture Notes in Computer Science
Series title: Lecture Notes in Computer Science
Volume: 8507
First page : 54
Last page: 66
Number of pages: 13
ISBN: 978-3-319-08493-0
ISSN: 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.