Julien Cervelle
IdRefMots clés
FR |
EN
Automates cellulaires
Systèmes dynamiques
Complexité de calcul (informatique)
Mathématiques à rebours
Complexité
Turing, Machines de
Décidabilité (logique mathématique)
Calculabilité
Logique
Systèmes dynamiques discrets
Vérification
Automate cellulaire
Reconnaissance de langages
Classes de faible complexité
Automate fini multitête oublieux
Théorème d'accélération
Modèles de calcul
Calcul à temps infini
Machines de Turing
Ordinaux horlogeables