LA PRUEBA DE TURING – pag 14 – La mente nueva del emperador

3-

LA PRUEBA DE TURING – pag 14 – La mente nueva del emperador

PUEDE PENSAR UNA MAQUINA – pag 557 – Introduccion a la informatica

LA MAQUINA DE TURING – pag 269 – Teorias de autómatas y lenguajes de computación

Lo que motivó a Alan Turing a crear esta máquina fue demostrar que “una máquina puede ser inteligente y puede pensar”.

La prueba de Turing, como llegó a ser conocida, implica a dos personas y una computadora. Una persona, el interrogador, se sienta a solas en una sala y escribe preguntas en un terminal. Las preguntas pueden varias sobre distintos temas. A medida que las respuestas a las preguntas aparecen en el terminal, el interrogador intenta adivinar si esas respuestas fueron escritas por la otra persona o generadas por la computadora. Una computadora puede demostrar un comportamiento inteligente si engaña repetidamente a los interrogadores haciéndoles pensar que es una persona.

Turing no proyectó esta prueba como la única forma de demostrar la inteligencia de una máquina; apuntó que una máquina, aun fallando, todavía podría ser inteligente.

Esta máquina, pretendía ser una forma de decidir, dentro de lo razonable, si una máquina efectivamente piensa.

Fuente: Introducción a la Informática – George Beekman

4-

Extenciones de la maquina de turing básica – pag 285 – Teorías de autómatas y lenguajes de computación

Variantes a la máquina de Turing original

Máquina de Turing de varias cintas:

El dispositivo tiene una unidad de control (estado) y un número finito de cintas. Cada cinta está dividida en casillas, y en cada casilla puede contener cualquier símbolo del alfabeto de cinta finito. Al igual que en la MT de una sola cinta, el conjunto de símbolos de la cinta incluye el espacio en blanco y también dispone de un subconjunto de símbolos de entrada, al que no pertenece el espacio en blanco. El conjunto de estados incluye un estado inicial y varios estados de aceptación.

Máquinas de Turing con cintas semi-infinitas:

Aunque la cabeza de una máquina de Turing puede moverse hacia la izquierda o la derecha respecto de suposición inicial, en este caso basta con que la cabeza de la MT pueda moverse a las posiciones situadas a la derecha de la posición inicial de la cabeza. De hecho, podemos suponer que la cinta es semi-infinita, es decir, no existe ninguna casilla a la izquierda de la posición inicial.

Esta construcción se basa en el uso de dos pistas en la cinta semi-infinita. La pista superior representa las casillas de la MT original situadas en o a la derecha de la posición inicial de la cabeza. La pista inferior representa posiciones a la izquierda de la posición inicial, pero en orden inverso.

Máquinas con varias pilas:

Una máquina de k pilas es un autómata a pila determinista con k pilas. Obtiene su entrada, al igual que lo hace un autómata a pila, de una fuente de entrada, en lugar de tenerla colocada sobre una cinta o en una pila, como es el caso de una MT. La máquina multipila dispone de una unidad de control, que se encuentra en uno de los estados de su conjunto finito de estados. Tiene un alfabeto de pila finito, que utiliza para todas sus pilas.

La idea principal de estas máquinas es que las pilas pueden simular la cinta de una máquina de Turing. En el caso de una máquina de 2 pilas, se puede almacenar en una pila lo que está a la izquierda de la cabeza y en otra pila lo que está a la derecha de la cabeza, excepto para el caso de cadenas de espacios en blanco infinitas situadas más a la izquierda y más a la derecha de los caracteres no blancos.

Fuente: Teorías de autómatas y lenguajes de computación – John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

5-

La tesis de Church – Turing – pag 49 – La mente nueva del emperador

El intento de decidir todas las cuestiones matematicas (solo se nombra) – pag 270 - Teorias de autómatas y lenguajes de computación

6-

Algoritmos y maquinas de Turing – pag 34 – La mente nueva del emperador

Pag 178 (157) – introduction to the theory of computation

la máquina de Turing simplemente sirve como un modelo preciso para la definición de algoritmo.

...