La máquina de Turing fue descrita por Alan Turing en 1936 como una máquina teórica que manipula símbolos sobre una cinta infinita según un conjunto de reglas. Consiste en un cabezal lector/escritor y una cinta que el cabezal lee y sobre la que puede escribir nuevos valores, moviéndose a la izquierda o derecha. El cálculo se determina por una tabla de estados que indica el nuevo estado, valor a escribir y dirección del movimiento basado en el estado y símbolo actual. La máquina de Turing