21763 articles – 15575 references  [version française]

hal-00541996, version 1

Clandestine Simulations in Cellular Automata

Pierre Guillon () 1, Pierre-Etienne Meunier () 2, Guillaume Theyssier () 2

Journées Automates Cellulaires 2010 (2010) 133-144

Abstract: This paper studies two kinds of simulation between cellular automata: simulations based on factor and simulations based on sub-automaton. We show that these two kinds of simulation behave in two opposite ways with respect to the complexity of attractors and factor subshifts. On the one hand, the factor simulation preserves the complexity of limits sets or column factors (the simulator CA must have a higher complexity than the simulated CA). On the other hand, we show that any CA is the sub-automaton of some CA with a simple limit set (NL-recognizable) and the sub-automaton of some CA with a simple column factor (finite type). As a corollary, we get intrinsically universal CA with simple limit sets or simple column factors. Hence we are able to 'hide' the simulation power of any CA under simple dynamical indicators.

  • 1:  FUNDIM - Department of Mathematics
  • University of Turku
  • 2:  Laboratoire de Mathématiques (LAMA)
  • CNRS : UMR5127 – Université de Savoie
  • Domain : Computer Science/Other
  • Keywords : cellular automata – simulation – limit sets – trace – universality
 
  • hal-00541996, version 1
  • oai:hal.archives-ouvertes.fr:hal-00541996
  • From: 
  • Submitted on: Wednesday, 1 December 2010 16:00:16
  • Updated on: Monday, 6 December 2010 12:56:51