Jarkko Kari
Mots clés
FR |
EN
Calculabilité
Pavage (mathématiques)
Automates cellulaires
Pavages
Substitutions
Dynamique symbolique
Théorie des graphes
Décidabilité (logique mathématique)
Systèmes dynamiques
Causalité
Graphes
Réversibilité
Universalité intrinsèque
Delta complexes
.
Apériodicité
Groupes de type fini
Sous-Décalages de type fini
Théorie des groupes
Fonctions calculables