Post on 02-Aug-2015
MAQUINAS DE TURING
Autor: Wilcar
Alivic Rojas
Autómatas y
Lenguajes Formales
1.- ¿Por qué creemos que las máquinas de
Turing son una buena formalización del
concepto de algoritmo?
• Porque cada programa de una máquina de
Turing puede ser implementado.
• Porque todos los algoritmos conocidos han
podido ser implementados en máquinas de
Turing.
• Porque todos los otros intentos por
formalizar este concepto fueron reducidos
a las máquinas de Turing.
• Los mejores intentos resultaron ser
equivalentes a las máquinas de Turing.
• Todos los intentos “razonables” fueron
reducidos eficientemente.
• Tesis de Church: Algoritmo = Máquina de
Turing.
EVALUACIÓN
2.- Describa en qué consiste la prueba de Turing
(maquina y persona)
Prueba o test de Turing es un procedimiento desarrollado
por Alan Turing para identificar la existencia de
inteligencia en una máquina y comprobar que una máquina
puede llegar a pensar al igual que una persona.
Este test fue expuesto en 1950 en un artículo (Computing
machinery and intelligence) para la revista Mind que
sigue siendo hoy día una de las cabezas de lanza de los
defensores de la Inteligencia Artificial.
Está fundamentado en la hipótesis positivista de que, si
una máquina se comporta en todos los aspectos de forma
inteligente, entonces debe ser inteligente.
Básicamente la prueba consiste en un desafío en el cual
la máquina debe hacerse pasar por humana en una
conversación con un hombre a través de una comunicación
de texto en modo chat. Al sujeto no se le avisa si está
hablando con una máquina o una persona de modo que si el
sujeto es incapaz de determinar si la otra parte de la
comunicación es humana o máquina, entonces se considera
que la máquina ha alcanzado un determinado nivel de
madurez: es inteligente.
Tal procedimiento tiene la ventaja de no tener que
definir lo que es la inteligencia. Turing creía
firmemente que máquinas que piensen llegarían a existir
y predijo que hacia el año 2000 una máquina jugaría al
„juego de imitación‟, como él llamó al test, de manera
que un interrogador medio no tendría más del 70 por 100
de posibilidades de efectuar la identificación correcta
tras cinco minutos de preguntas." (Enric Trillas55)
Reconocimiento de un Lenguaje Regular.
Reconocimiento de una GLC, aceptada por un APD determinista.
3. Describa el proceso de
reconocimiento de cadenas utilizando
la Máquina de Turing
Se parte del estado inicial, y la
cinta contiene símbolos de entrada.
Se efectúan las transiciones
pertinentes según la función de
transición.
Si la cabeza lectora rebasa el extremo
izquierdo de la cinta, la cadena es
rechazada y el proceso termina
(terminación anormal).
Si la máquina alcanza el estado de
parada, la cadena es aceptada.