Enrico Formenti
IdRefMots clés
FR |
EN
Automates cellulaires
Systèmes dynamiques
Modèles de calcul
Systèmes dynamiques discrets
Simulation
Langages formels
Complexité
Complexité de calcul (informatique)
Calcul à temps infini
Machines de Turing
Ordinaux horlogeables
Ordinaux écrivables
Ordinaux admissibles
Calculs numériques
Turing, Machines de
Nombres ordinaux
Sous-shift
Dynamique symbolique
Décidabilité (logique mathématique)
Chaos (théorie des systèmes)