Automates cellulaires : structures - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2002

Automates cellulaires : structures

Cellular automata: structures

Résumé

Cellular automata provide a uniform framework to study an important problem of "complex systems" theory: how and why do system with a easily understandable -- local -- microscopic behavior can generate a more complicated -- global -- macroscopic behavior? Since its introduction in the 40s, a lot of work has been done to understand the links between local and global properties of the cellular automata model. These last 20 years appeared a new trail through the search of meaningful classifications of cellular automata. Several formal classifications have been proposed to describe the kind of "chaotic" behavior, usually with topological tools. However, another kind of complex cellular automata -- cellular automata for which local structures, particles, seems to emerge and interact according to complex rules -- still remain to study. To our knowledge, the grouping classification proposed by I. Rapaport, a classification based on algebraic tools, is the only classification driven by this particular kind of complexity. Our work is involved into generalizing this classification, in order to take into account several interesting notions like intrinsic universality and to strengthen the algebraic structure behind this tool -- still keeping its geometrical nature.
Les automates cellulaires fournissent un cadre agréable et uniforme pour aborder une des problématiques majeures de l'étude des «systèmes complexes» : comprendre comment et pourquoi des systèmes qui possèdent un comportement microscopique -- local -- facile à décrire peuvent avoir un comportement macroscopique -- global -- beaucoup plus compliqué. Depuis leur introduction dans les années 40, de nombreux travaux ont été entrepris afin de comprendre les liens existant entres les propriétés locales et globales des automates cellulaires.

Ces vingt dernières années est apparue une nouvelle approche à travers la recherche de classifications pertinentes des automates cellulaires. Ainsi, de nombreuses classifications formelles ont été proposées pour mieux cerner les comportements de type «chaotique», principalement à l'aide d'outils de nature topologique. Cependant, une autre forme d'automates cellulaires complexes -- les automates cellulaires pour lesquels semblent émerger des structures locales, des particules, qui interagissent selon des schémas complexes -- reste peu étudiée. A notre connaissance, seuls les travaux d'I. Rapaport proposent une classification -- le groupage -- de nature algébrique, inspirée par cette forme de complexité. Nos travaux consistent en la généralisation de cette classification, afin d'une part de prendre en compte certaines notions intéressante comme l'universalité intrinsèque et d'autre part de renforcer la structure algébrique qui fait la force de cet outil -- tout en conservant sa nature géométrique.

Dans une première partie, la structure interne des automates cellulaires est étudiée et une nouvelle caractérisation des automates cellulaires de dimension donnée est proposée, mettant en avant la notion de sous-automate. Dans une deuxième partie, les transformations «géométriques» des automates cellulaires sont caractérisées et un modèle de groupage abstrait est défini. Fort de ces deux outils et de la notion de sous-automate, une première extension du groupage est définie. La pertinence de cette classification est illustrée par l'étude de familles classiques d'automates cellulaires dans ce cadre. L'absence de structure de treillis en sus de la structure de pré-ordre amène l'introduction d'une nouvelle généralisation qui induit une structure de demi-treillis par l'opération de produit cartésien. Des liens entre les idéaux de cette structure et des problèmes de décision sont mis en avant. L'objet de la troisième partie est la notion d'automate cellulaire intrinsèquement universel, qui joue un rôle privilégié dans le cadre du groupage généralisé. L'indécidabilité de l'appartenance à cette famille d'automates cellulaires est établie et deux exemples de petits automates cellulaires de dimension 1 intrinsèquement universels sont construits, dont un automate cellulaire à 6 états et voisinage de von Neumann, le plus petit connu à ce jour.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
tel-000077651.pdf (2.15 Mo) Télécharger le fichier
tel-00007765.pdf (630.6 Ko) Télécharger le fichier
Format : Autre

Dates et versions

tel-00007765 , version 1 (15-12-2004)

Identifiants

  • HAL Id : tel-00007765 , version 1

Citer

Nicolas Ollinger. Automates cellulaires : structures. Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2002. Français. ⟨NNT : ⟩. ⟨tel-00007765⟩
1005 Consultations
1549 Téléchargements

Partager

Gmail Facebook X LinkedIn More