Thèse soutenue

Construction modulaire d'automates cellulaires
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Bruno Martin
Direction : Jacques Mazoyer
Type : Thèse de doctorat
Discipline(s) : Sciences. Informatique
Date : Soutenance en 1993
Etablissement(s) : Lyon 1
Partenaire(s) de recherche : autre partenaire : École normale supérieure (Lyon ; 1987-2009)

Mots clés

FR

Mots clés contrôlés

Résumé

FR

Nous decrivons dans un premier temps un langage algorithmique pour construire de facon modulaire des automates cellulaires complexes. Nous utilisons pour ce faire un langage logique qui modelise quelques operations simples sur les fonctions de transition qui composent l'automate cellulaire voulu. Ensuite, nous utilisons notre langage pour decrire des automates cellulaires capables de generer des formes fractales simples. Nous proposons aussi un algorithme qui permet de simuler efficacement l'evolution d'un tore d'automates sur un anneau d'automates. Enfin, nous avons etudie les automates cellulaires du point de vue de la calculabilite en construisant une enumeration des automates cellulaires, un automate cellulaire capable de calcul universel et un pour la composition. Nous satisfaisons ainsi les proprietes de la definition d'un systeme de programmation acceptable. Nous en deduisons tous les resultats classiques de la theorie des algorithmes et nous en utilisons certains pour etudier le modele des parallel random-access machines du point de vue de la calculabilite