 |
|
|
|
| HAL : hal-00451727, version 2 |
| arXiv : 1001.5471 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (29-01-2010) | v2 (24-09-2010) |
|
|
|
|
| Bulking II: Classifications of Cellular Automata |
|
|
| Marianne Delorme 1Jacques Mazoyer 1 |
|
|
| (2010) |
|
|
|
| This paper is the second part of a series of two papers dealing with bulking: a way to define quasi-order on cellular automata by comparing space-time diagrams up to rescaling. In the present paper, we introduce three notions of simulation between cellular automata and study the quasi-order structures induced by these simulation relations on the whole set of cellular automata. Various aspects of these quasi-orders are considered (induced equivalence relations, maximum elements, induced orders, etc) providing several formal tools allowing to classify cellular automata. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire de l'Informatique du Parallélisme (LIP) |
|
|
|
Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I |
|
|
| 2 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 3 : | Laboratoire de Mathématiques (LAMA) |
|
|
|
CNRS : UMR5127 – Université de Savoie |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Mathématique discrète |
|
|
| cellular automata – bulking – grouping – classification |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00451727, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00451727 | |
| oai:hal.archives-ouvertes.fr:hal-00451727 | |
| Contributeur : Guillaume Theyssier | |
| Soumis le : Vendredi 24 Septembre 2010, 15:33:24 | |
| Dernière modification le : Vendredi 24 Septembre 2010, 16:19:06 | |
