« Modèle de calcul » : différence entre les versions
Contenu supprimé Contenu ajouté
Ébauche correcte et catégorie |
|||
Ligne 1 :
{{À sourcer|date=avril 2024}}
{{ébauche|informatique théorique}}
En [[informatique théorique]], un '''modèle de calcul''' est un formalisme abstrait qui modélise l'exécution d'un algorithme. Les modèles de calcul sont le fondement de l'informatique théorique. Par exemple :
Ligne 23 ⟶ 21 :
* [[Automate cellulaire]]
* [[Réseau de Petri]]
{{Portail|informatique théorique}}
[[Catégorie:Informatique théorique]]
|
Version du 27 avril 2024 à 08:33
En informatique théorique, un modèle de calcul est un formalisme abstrait qui modélise l'exécution d'un algorithme. Les modèles de calcul sont le fondement de l'informatique théorique. Par exemple :
- En calculabilité, ils permettent de définir la notion de fonction calculable,
- En complexité, ils définissent le temps et la mémoire nécessaires à un calcul,
- La théorie des automates étudie une famille de modèles de calcul, les automates, qui sont souvent plus faibles que les modèles Turing-complets de la calculabilité et de l'algorithmique.