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.


https://hal.archives-ouvertes.fr/hal-01312569
Contributeur : Enrico Formenti <>
Soumis le : samedi 7 mai 2016 - 11:14:07
Dernière modification le : dimanche 8 mai 2016 - 01:04:17

Identifiants

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>

Partager

Métriques

Consultations de la notice

56