Le moteur de recherche
des thèses françaises
Marie-Pierre Béal
IdRefMots clés
FR |
EN |
ES
Dynamique symbolique
Langages formels
Automates
Monoïdes
Calculabilité
Décidabilité (logique mathématique)
Pavages
Pavage (mathématiques)
Complexité de calcul (informatique)
Automates cellulaires
Systèmes dynamiques
Codage
Systèmes dynamiques symboliques multidimensionnels
Décalages effectifs
Sous-action projective
Automates d’arbres
Décalages d’arbres
Dynamique holomorphe
Machines de Turing
Système dynamique discret