Lorsque le mathématicien Alan Turing a développé sa théorie, il a imaginé une machine comprenant : un ruban infini sur lequel sont inscrits des symboles, une tête de lecture qui peut lire ou écrire un symbole à la fois, une suite finie d’instructions qui changent le symbole courant et déplacent la tête de lecture. À quoi...