Una máquina de Turing es un modelo teórico de computación que fue presentado por Alan Turing en 1936. Consiste en una cinta infinitamente larga dividida en celdas, un cabezal de lectura/escritura que puede moverse a lo largo de la cinta y una unidad de control que determina el comportamiento de la máquina. . La cinta está inicialmente en blanco y la entrada a la