Modèle de calcul
formalisme abstrait qui modélise l'exécution d'un algorithme
From Wikipedia, the free encyclopedia
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.
Cet article ne cite pas suffisamment ses sources ().
Cet article est une ébauche concernant l’informatique théorique.
Quelques modèles de calcul courants
Bibliographie
- (en) Maribel Fernández, Models of Computation, Londres, Springer Publishing, (ISBN 978-1-84882-434-8, ISSN 1863-7310).
- (en) John E. Savage, Models of Computation, université Brown, , 698 p. (ISBN 978-0201895391, lire en ligne).
