Turing presentó un modelo de una computadora digital programable de propósito general (Máquina de Turing).