Une machine simple peut calculer n'importe quel algorithme
La machine théorique d'Alan Turing a prouvé qu'un appareil abstrait simple pouvait calculer n'importe quel algorithme. Cela a jeté les bases de l'informatique moderne.
En 1936, Alan Turing a présenté la machine de Turing. Ce modèle abstrait montre comment tout algorithme peut être calculé avec des règles de base. Cet appareil utilise une bande infinie et une tête de lecture/écriture. Il suit des instructions, effectue des calculs et manipule des données.