Automates cellulaires : dynamiques, simulations, traces

Cellular automata : dynamics, simulations, traces

• Auteur / Autrice : Pierre Guillon
• Direction : Enrico Formenti, Julien Cervelle
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 24/11/2008
• Etablissement(s) : Paris Est
• Ecole(s) doctorale(s) : Information, Communication, Modélisation et Simulation
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'Informatique de l'Institut Gaspard-Monge (IGM LabInfo)
• Jury : Examinateurs / Examinatrices : Enrico Formenti, Julien Cervelle, Nataša Jonoska, Luciano Margara, Marie-Pierre Béal, Valérie Berthé, Jacques Mazoyer
• Jury : Rapporteurs / Rapporteuses : Nataša Jonoska, Luciano Margara

Mots clés

Mots clés contrôlés

Chaos (théorie des systèmes)

Décidabilité (logique mathématique)

Langages formels

Dynamique symbolique

Systèmes dynamiques

Automates cellulaires

Mots clés libres

Sous-shift

Simulation

Undershift

Simulation

Résumé

Un automate cellulaire est un système dynamique discret qui modélise des objets ayant une évolution parallèle synchrone: l'espace est divisé en cellules ayant chacune un état et qui évoluent toutes selon une même règle locale, qui ne dépend que d'un nombre fini de cellules voisines. Malgré la simplicité de la formalisation de ce système, des comportements très complexes peuvent apparaître, qui en font notamment un modèle de calcul. Cette complexité a été rattachée à diverses théories: topologie, mesure, décidabilité, information...Nous adoptons ici une approche basée sur la dynamique symbolique, c'est à dire l'étude des mots infinis sur un alphabet donné auxquels on applique un décalage, suppression de la première lettre. À chaque automate cellulaire peut en effet être associé son tracé, l'ensemble des mots infinis représentant la séquence des états successifs pris par la cellule centrale de l'espace - ou un groupe de cellules centrales. On a alors une factorisation topologique: la lecture d'une lettre dans un de ces mots correspond exactement à une étape de l'évolution de l'automate. De nombreuses propriétés topologiques sont alors transmises par cette factorisation. Inversement, le fait que les cellules évoluent toutes de la même manière permet de déduire certaines propriétés de l'automate à partir de celles de son tracé. La première partie de la thèse est consacrée à ces nombreux liens. Une deuxième partie présente des conditions suffisantes pour qu'un ensemble de mots infinis soit le tracé d'un automate cellulaire. Enfin, une troisième partie donne un point de vue plus informatique, en récapitulant les principaux résultats d'indécidabilité sur le sujet et en prouvant que toutes les propriétés du tracé qui peuvent se voir infiniment tard sont indécidables

A cellular automaton is a discrete dynamical system which can model objects that evolve parallelly and asynchronously : the space is divided into cells, each of which has a state evolving according to some single local rule and a finite number of neighboring cells. Though this system can easily be formalized, very complex behaviors can appear ; it turns out to be a powerful computational model. That complexity can be studied with respect to various theories : topology, measure, decidability, information...We adopt here an approach bases on symbolic dynamics, linked to the topology and to the study of shifts of infinite words (suppression of their first letter). To each cellular automaton can be associated its trace subshift, the set of infinite words that represent the sequence of successive states taken by the central cell or some group of central cells. We then have a topological factorisation : reading a letter in one of these words correspond to applying a step of evolution of the automaton