Bulking II: Classifications of cellular automata - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2011

Bulking II: Classifications of cellular automata

Résumé

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.

Domaines

Autre [cs.OH]

Dates et versions

hal-00980377 , version 1 (17-04-2014)

Identifiants

Citer

Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier. Bulking II: Classifications of cellular automata. Theoretical Computer Science, 2011, 412 (30), pp.3881-3905. ⟨10.1016/j.tcs.2011.02.024⟩. ⟨hal-00980377⟩
208 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More