Guillaume Theyssier
Mots clés
FR |
EN
Automates cellulaires
Dynamique symbolique
Substitutions
Pavage (mathématiques)
Pavages
Problème du domino
Décidabilité (logique mathématique)
.
Complexité de communication,
Circuits
Parallélisme
Décidabilité
Conjecture de Nivat
Complexité de motifs
Groupes
Sous-décalages de type fini
Invariants
Systèmes dynamiques
Calculabilité
Automates cellulaires captifs