La machine de Turing est un modèle théorique de calcul inventé par le mathématicien britannique Alan Turing en 1936. Elle est conçue pour formaliser les concepts de calcul et d'algorithme, et constitue une base fondamentale de la théorie de la computation.