Le moteur de recherche
des thèses françaises
Julien Cervelle
IdRefMots clés
FR |
EN
Automates cellulaires
Systèmes dynamiques
Complexité de calcul (informatique)
Turing, Machines de
Calculabilité
Mathématiques à rebours
Complexité
Décidabilité (logique mathématique)
Logique
Sous-shift
Simulation
Dynamique symbolique
Langages formels
Chaos (théorie des systèmes)
Automate cellulaire
Reconnaissance de langages
Classes de faible complexité
Automate fini multitête oublieux
Théorème d'accélération
Fonctions calculables