Pourquoi la machine de Turing est-elle un modèle de calcul populaire ?

Réponse publiée sur Quora

Plutôt que “populaire” je dirais plutôt “scientifiquement solide” car elle satisfait la Thèse de Church qui est à la base de la Théorie de la calculabilité .

En gros c’est le moyen rigoureux le plus pratique pour exécuter des algorithmes. Il y en a d’autres comme les les fonctions λ-définissables , ou les fonctions récursives , mais on a pas réussi les réaliser matériellement aussi bien que la machine du Turing. D’ailleurs, ces approches étant équivalentes, on a implanté le lambda calcul et les fonctions récursives dans des langages de programmation de machines de Turing.