HAL : hal-00451727, version 1

arXiv : 1001.5471

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Versions disponibles :

v1 (29-01-2010)

v2 (24-09-2010)

Bulking II: Classifications of Cellular Automata

Marianne Delorme 1, Jacques Mazoyer 1, Nicolas Ollinger 2, Guillaume Theyssier (  Auteur correspondant ) 3

(01/2010)

This paper is the second part of a serie of two papers dealing with bulking: a quasi-order on cellular automata comparing space-time diagrams up to some rescaling. Bulking is a generalization of grouping taking into account universality phenomena, giving rise to a maximal equivalence class. In the present paper, we introduce 3 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 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

Mots Clés : cellular automata – bulking – grouping – classification

hal-00451727, version 1

http://hal.archives-ouvertes.fr/hal-00451727

oai:hal.archives-ouvertes.fr:hal-00451727

Contributeur : Guillaume Theyssier <>

Soumis le : Vendredi 29 Janvier 2010, 19:48:26

Dernière modification le : Vendredi 29 Janvier 2010, 21:15:34