Una
máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier
algoritmo de
computador y es particularmente útil en la explicación de las funciones de una
CPU dentro de un computador.