Résumé : Les automates cellulaires constituent une classe d'objets permettant de décrire, à l'aide d'une unique règle locale finie, l'évolution, potentiellement complexe, d'un système infini. L'objectif de l'exposé est d'introduire un cadre formel permettant de quantifier des propriétés parmi l'ensemble des automates cellulaires. On commencera par une présentation de tous les objets considérés. On verra ensuite notre formalisme proprement dit et ses liens avec la complexité de Kolmogorov. On évoquera enfin quelques résultats significatifs en s'intéressant d'une part aux techniques qui interviennent dans nos preuves et d'autre part aux conséquences de ces résultats sur notre compréhension des automates cellulaires.
| Dernière modification : Monday 18 March 2024 |
|
Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr |