Alan Mathison Turing è stato un grande matematico, logico e crittografo britannico, considerato uno dei padri dell’informatica; riuscì a decifrare Enigma, la macchina utilizzata dai tedeschi per crittografare le comunicazioni fornendo un enorme contributo al successo finale degli alleati. La macchina di Turing invece è “soltanto” un modello matematico secondo