La machine de Turing est souvent considérée comme le modèle théorique d’un ordinateur. Bien qu’élémentaire, cette machine est traversée par les problématiques fondamentales de l’informatique, souvent exprimées en termes de machines de Turing.
Dans cet article, Patrice Debrabant présente cette machine et l’implémente.