m-Asynchronous cellular automata: from fairness to quasi-fairness

Abstract : A new model for the study of asynchronous cellular automata dynamical behavior is introduced with the main purpose of unifying several existing paradigms. The main idea is to measure the set of updating sequences to quantify the dependency of the properties under investigation from them. We propose to use the class of quasi-fair measures, namely measures that satisfy some fairness conditions on the updating sequences. Basic set properties like injectivity and surjectivity are adapted to the new setting and studied. In particular, we prove that they are dimensions sensitive properties (i.e., they are decidable in dimension 1 and undecidable in higher dimensions). A first exploration of dynamical properties is also started, some results about equicontinuity and expansivity behaviors are provided.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01312569
Contributor : Enrico Formenti <>
Submitted on : Saturday, May 7, 2016 - 11:14:07 AM
Last modification on : Thursday, February 7, 2019 - 4:31:38 PM

Links full text

Identifiers

Collections

Citation

Enrico Formenti, Alberto Dennunzio, Giancarlo Mauri, Luca Manzoni. m-Asynchronous cellular automata: from fairness to quasi-fairness. Natural Computing, Springer Verlag, 2013, 12 (4), pp.561-572. ⟨http://link.springer.com/article/10.1007%2Fs11047-013-9386-5⟩. ⟨10.1007/s11047-013-9386-5⟩. ⟨hal-01312569⟩

Share

Metrics

Record views

249