Contribution à l'étude des automates cellulaires
Auteur / Autrice : | Nicolas Reimen |
Direction : | Serge Grigorieff |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1993 |
Etablissement(s) : | Paris 7 |
Mots clés
Mots clés contrôlés
Résumé
Un automate cellulaire, dans sa forme la plus generale, est un ensemble infini d'automates finis interconnectes suivant un reseau regulier et evoluant de facon synchrone au cours du temps. Issus des travaux de john von neumann sur l'auto-reproduction (1950), ils ont connu, ces dernieres annees un nombre croissant d'applications en informatique et en physique theorique. Ce travail est subdivise en trois chapitres: une presentation generale couvrant l'essentiel de l'etat actuel de la recherche au sujet des a. C. Dans le domaine de l'informatique theorique, la presentation d'une preuve originale du theoreme d'acceleration lineaire pour les a. C. Unidimensionnels accepteurs de langages et une derniere partie consacree a un modele derive des a. C. : les automates treillis. Cette partie contient, notamment, l'etude, par des moyens algebriques, de la classe particuliere des automates treillis superposables