Definición de MAQUINA DE TURING

Es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a unatabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada parasimular la lógica de cualquier algoritmo de computador y es particularmente útil en laexplicació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álculomecá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 lamá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 concuadrados, 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 momentohay un símbolo en la máquina; llamado el símbolo leído. La máquina puede alterar el símbololeído y su comportamiento está en parte determinado por ese símbolo, pero los símbolos enotros lugares de la cinta no afectan el comportamiento de la máquina. Sin embargo, la cintase puede mover hacia adelante y hacia atrás a través de la máquina, siendo esto una de lasoperaciones elementales de la máquina. Por lo tanto cualquier símbolo en la cinta puedetener finalmente una oportunidad.

Funcionamiento de la MAQUINA DE TURING

La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita enla que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Lasoperaciones 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ónpara 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 trabajodenominados 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 celdascontienen un símbolo especial denominado "blanco". Las instrucciones que determinan elfuncionamiento de la máquina tienen la forma, "si estamos en el estado x leyendo laposición y, donde hay escrito el símbolo z, entonces este símbolo debe ser reemplazado poreste 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 lenguajesformales. 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 deautómatas, como el autómata finito, o el autómata con pila, o igual a otros modelos con lamisma potencia computacional.