 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00469841, version 2 |
| Fiche détaillée |  Récupérer au format |
 |
| Versions disponibles : | v1 (02-04-2010) | v2 (17-08-2010) |
|
|
|
|
| Four states are enough! |
|
|
| Nicolas Ollinger 1Gaétan Richard 1, 2 |
|
|
| (02/04/2010) |
|
|
|
| This paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer to the Turing universality bound. Intrinsic universality is discussed. Construction and proof rely on a combination of bulking techniques with programming using particles and collisions. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 2 : | Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC) |
|
|
|
CNRS : UMR6072 – Université de Caen Basse-Normandie – Ecole Nationale Supérieure d'Ingénieurs de Caen |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Cellular automata – intrinsic universality – bulking – particles and collisions |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00469841, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00469841 | |
| oai:hal.archives-ouvertes.fr:hal-00469841 | |
| Contributeur : Gaétan Richard | |
| Soumis le : Mardi 17 Août 2010, 11:37:54 | |
| Dernière modification le : Mardi 17 Août 2010, 11:54:59 | |
