Máquina de Turing

Dispositivo abstracto capaz de realizar cualquier tipo de cálculo siempre que cuente con una memoria ilimitada. La máquina de Turing es el modelo teórico de los ordenadores y merced a la «metáfora de ordenador », de la propia mente humana.