Una máquina de Turing es una abstracción matemática que se mueve sobre una secuencia lineal de datos, leyendo y escribiendo símbolos según su estado interno y una tabla de acciones. Consiste en una cinta infinita con celdas que contienen símbolos, y un cabezal que puede moverse por la cinta leyendo, escribiendo y cambiando de estado según instrucciones programadas. El funcionamiento de la máquina de Turing puede describirse como la transformación de un input binario en un output también binario a través de la lectura