Modèle de calcul
Cet article abordera le sujet de Modèle de calcul, qui a fait l'objet d'intérêt et de débats dans divers domaines. Modèle de calcul est un sujet pertinent qui a retenu l'attention des experts et du grand public en raison de son impact sur la société actuelle. Au fil des années, Modèle de calcul a généré des opinions contradictoires et a fait l'objet de recherches et d'études visant à comprendre pleinement ses implications. Cet article analysera le contexte historique, les différentes perspectives et solutions ou recommandations possibles sur Modèle de calcul, dans le but de fournir un aperçu complet et enrichissant de ce sujet.
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.
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.
Quelques modèles de calcul courants
- Logique combinatoire
- Automate à pile
- Automate fini
- Machine de Turing
- Machine à registres illimités
- Random access machine
- Grammaire formelle
- λ-calcul
- Fonction récursive générale, fonction récursive primitive
- Système de réécriture
- Automate cellulaire
- Réseau de Petri
Liens externes
