À l'origine, la machine de Turing est un concept mathématique. Cela signifie que son but est purement théorique. Elle permet de calculer tout calcul qui pourrait être exécuté par un système physique, donc elle simplifie le principe du calcul à son état le plus essentiel.