1. Definición de MAQUINA 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 un CPU dentro de un computador.
Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo
mecánico.
Turing dio una definición sucinta del experimento en su ensayo de 1948,
«Máquinas inteligentes». Refiriéndose a su publicación de 1936, Turing escribió que la
máquina de Turing, aquí llamada una máquina de computación lógica, consistía en:
...una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con
cuadrados, en cada uno de los cuales podría imprimirse un símbolo. En cualquier momentocuadrados, en cada uno de los cuales podría imprimirse un símbolo. En cualquier momento
hay un símbolo en la máquina; llamado el símbolo leído. La máquina puede alterar el símbolo
leído y su comportamiento está en parte determinado por ese símbolo, pero los símbolos en
otros lugares de la cinta no afectan el comportamiento de la máquina. Sin embargo, la cinta
se puede mover hacia adelante y hacia atrás a través de la máquina, siendo esto una de las
operaciones elementales de la máquina. Por lo tanto cualquier símbolo en la cinta puede
tener finalmente una oportunidad.

2. Funcionamiento de la MAQUINA DE TURING
La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en
la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las
operaciones que se pueden realizar en esta máquina se limitan a:
• Mover el cabezal lector/escritor hacia la derecha.
• Mover el cabezal lector/escritor hacia la izquierda
El cómputo se determina a partir de una tabla de estados de la forma:
(estado, valor) (nuevo estado, nuevo valor, dirección)Esta tabla toma como
parámetros el estado actual de la máquina y el carácter leído de la cinta, dando la dirección
para mover el cabezal, el nuevo estado de la máquina y el valor a escribir en la cinta.
La memoria es la cinta de la máquina que se divide en espacios de trabajo
denominados celdas, donde se pueden escribir y leer símbolos. Inicialmente todas las celdasdenominados celdas, donde se pueden escribir y leer símbolos. Inicialmente todas las celdas
contienen un símbolo especial denominado "blanco". Las instrucciones que determinan el
funcionamiento de la máquina tienen la forma, "si estamos en el estado x leyendo la
posición y, donde hay escrito el símbolo z, entonces este símbolo debe ser reemplazado por
este otro símbolo, y pasar a leer la celda siguiente, bien a la izquierda o bien a la derecha".
La máquina de Turing puede considerarse como un autómata capaz de reconocer lenguajes
formales. En ese sentido, es capaz de reconocer los lenguajes recursivamente e numerables,
de acuerdo a la jerarquía de Chomsky. Su potencia es, por tanto, superior a otros tipos de
autómatas, como el autómata finito, o el autómata con pila, o igual a otros modelos con la
misma potencia computacional.