Formalmente, podemos definir el cálculo de una máquina de Turing en una entrada dada como una secuencia de configuraciones, y una configuración a su vez es una secuencia de símbolos (correspondiente a...Formalmente, podemos definir el cálculo de una máquina de Turing en una entrada dada como una secuencia de configuraciones, y una configuración a su vez es una secuencia de símbolos (correspondiente al contenido de la cinta en un punto dado en el cálculo), un número que indica la posición del cabezal de lectura/escritura y un estado.
