« Modèle de calcul » : différence entre les versions
Ébauche correcte et catégorie |
|||
| Ligne 1 : | Ligne 1 : | ||
{{À sourcer|date=avril 2024}} |
{{À sourcer|date=avril 2024}} |
||
{{ébauche|informatique théorique}} |
|||
{{ébauche}} |
|||
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 [[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 : | Ligne 21 : | ||
* [[Automate cellulaire]] |
* [[Automate cellulaire]] |
||
* [[Réseau de Petri]] |
* [[Réseau de Petri]] |
||
* {{Lien |langue=en | trad=Circuit (computer science) |fr=Circuit (informatique théorique) |texte=Circuit}} |
|||
{{Portail|informatique théorique}} |
{{Portail|informatique théorique}} |
||
[[Catégorie:Informatique théorique]] |
|||
Version du 27 avril 2024 à 08:33
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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.
