You are on page 1of 7

Simulación.

UNIVERSIDAD INTERNACIONAL DEL ECUADOR SIMULACION ALUMNO: Julio Chamba. FECHA: 19-05-2011

HISTORIA DE ALAN TURING. Alan MathisonTuring, fue un matemático, informático teórico, criptógrafo y filósofoinglés. Es considerado uno de los padres de la Ciencia de la computación siendo el precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una máquina de Turing. Durante la Segunda Guerra Mundial, trabajó en romper los códigos nazis, particularmente los de la máquina Enigma; durante un tiempo fue el director de la sección Naval Enigma del Bletchley Park. Tras la guerra diseñó uno de los primeros computadores electrónicos programables digitales en el Laboratorio Nacional de Física del Reino Unido y poco tiempo después construyó otra de las primeras máquinas en la Universidad de Mánchester. Entre otras muchas cosas, también contribuyó de forma particular e incluso provocativa al enigma de si las máquinas pueden pensar, es decir a la Inteligencia Artificial. La Universidad y sus estudios sobre computabilidad Debido a su falta de voluntad para esforzarse con la misma intens idad en el estudio de los clásicos que en el de la ciencia y las matemáticas, Turing suspendió sus exámenes finales varias veces y tuvo que ingresar en la escuela universitaria que eligió en segundo lugar, King'sCollege, Universidad de Cambridge, en vez de en la que era su primera elección, Trinity. Recibió las enseñanzas de Godfrey Harold Hardy, un respetado matemático que ocupó la cátedra Sadleirian en Cambridge y que posteriormente fue responsable de un centro de estudios e investigaciones matemáticas de 1931 a 1934. En 1935Turing fue nombrado profesor del King'sCollege. La mayor parte de 1937 y 1938 la pasó en la Universidad de Princeton, estudiando bajo la dirección de Alonzo Church. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto de hipercomputación, en el que ampliaba las máquinas de Turing con las llamadas máquinas oráculo, las cuales permitían el estudio de los problemas para los que no existe una solución algorítmica. Estudios sobre las primeras computadoras; la prueba de Turing De 1945 a 1948 trabajó en el Laboratorio Nacional de Física en el diseño del ACM (Máquina de Computación Automática [automaticcomputer machine]). En 1949 fue nombrado director delegado del laboratorio de computación de la Universidad de Mánchester y trabajó en el software de una de las primeras computadoras reales ² la Manchester Mark I. Durante esta etapa también realizó estudios más abstractos y en su artículo " Máquinas de computación e inteligencia" (octubre de 1950) Turing trató el problema de la inteligencia artificial y propuso un

Datos Bibliográficos:www.sinewton.org/numeros/numeros

Estudios sobre la formación de patrones y la biología matemática Turing trabajó desde 1952 hasta que falleció en 1954 en la biología matemática. Publicó un trabajo sobre esta materia titulado "Fundamentos Químicos de la Morfogénesis" en 1952. Turing escribió en forma de falso silogismo una reflexión relacionando el rechazo social que provoca la homosexualidad con el desafío intelectual que supone su prueba para probar la posibilidad de inteligencia en los ordenadores. Finalmente escogió las inyecciones de estrógenos. en 1954. con la intención de definir una prueba estándar por el que una máquina podría catalogarse como "sensible" o "sintiente". Según su ampliamente difundido proceso judicial. Utilizó ecuaciones de reacción-difusión que actualmente son cruciales en el campo de la formación de patrones. En una carta de esta época a su amigo Norman Routledge. Turing acudió a la policía a denunciar el delito. Convencido de que no tenía de qué disculparse. el programa perdió frente a un amigo de Turing. se le dio la opción de ir a prisión o de someterse a un tratamientohormonal de reducción de la libido. Turing". Sus estudios profundizaron en esta relación estableciendo el concepto interfaz y cuestionando los límites de simulación del razonamiento humano. En 1952Arnold Murray. Turing reconoció su homosexualidad. aparentemente tras comerse una manzana envenenada que no llegó a ingerir completamente. En particular. Sus trabajos posteriores no se publicaron hasta 1992 en el libro "Obras Completas de A. La mayoría Datos Bibliográficos:www.org/numeros/numeros . como la aparición de pechos o un apreciable aumento de peso. M. Una de las partidas llegó a registrarse. A falta de una computadora lo suficientemente potente como para ejecutarlo.sinewton. En 1952Turing escribió un programa de ajedrez. no se defendió de los cargos y fue condenado. Esta rama de estudios genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de técnicas de producción a partir del siglo XX. tardando más de hora y media en efectuar un movimiento. los mismos que a Oscar Wilde más de 50 años antes.Simulación. el amante de Turing. y que además le convirtieron en impotente. es decir. que duraron un año y le produjeron importantes alteraciones físicas. La cibernética pretende establecer un sistema comunicación entre el hombre y la máquina como premisa fundamental para administrar sistemas de control. Su principal interés era comprender la filotaxis de Fibonacci. experimento que hoy se conoce como la prueba de Turing. él simulaba el funcionamiento de la computadora. Trabajó junto a Norbert Wiener en el desarrollo de la cibernética. murió por envenenamiento con cianuro. le preocupaba que los ataques a su persona pudieran oscurecer sus razonamientos sobre la inteligencia artificial: y y y Turing cree que las máquinas piensan Turing yace con hombres Luego las máquinas no piensan se las de los de Dos años después del juicio. la existencia de los números de Fibonacci en las estructuras vegetales. con lo que se le imputaron los cargos de "indece ncia grave y perversión sexual" (los actos de homosexualidad eran ilegales en el Reino Unido en esa época). concretamente en la morfogénesis. Durante la investigación policial. ayudó a un cómplice a entrar en la casa de Turing para robarle. Procesamiento por su homosexualidad y muerte de Turing La carrera profesional de Turing se vio truncada cuando lo procesaron por su homosexualidad.

borrando el símbolo en el que se encuentra posicionad su cabezal y escribiendo un o nuevo símbolo perteneciente al alfabeto de salida. Este comunicado fue consecuencia de una obierno ue pidiera disculpas oficialmente por la movili ación pública solicitando al persecución sufrida por Alan uring Una m q i i es un modelo computacional ue reali a una lectura/escritura de manera automática sobre una entrada llamada cinta. es el conjunto de estados finales de aceptación. transiciones entre dichos estados. El de septiembre de el primer ministro del eino nido. para finalmente detenerse en un estado final o de aceptación. denominado alfabeto de máquina o de entrada. Esto se repite según se indique en lafunción de transición. t f i t i l i fi i l t i i i .org/numeros/numeros U S T R HP I H Defi i i form l ). emitió un comunicado declarando sus disculpas en nombre del gobierno por el trato ue recibióAlan uring durante sus ltimos años de vida. atri uyéndola rotundamente a una m ingesti n accidental provocada por la falta de precauciones de uring en el almacena iento de sustancias uímicas de laboratorio. Esta misteriosa muerte a dado lugar a diversas i pótesis incluida la del asesinato. denominado alfabeto de cinta es el estado inicial. ue recibe un estado inicial y una cadena de caracteres la cinta. la cual puede ser infinita) pertenecientes al alfabeto de entrada. para luego desplazar el cabezal a la izquierda o a la derecha solo una celda a la vez). E ¤   ¡ ¥¤ ¦ ¨ ¦    © ¨ ¥¢ ¡ ©¦©¨   ¡ ¦ £ ¨ © §  ¢¡©¨ £  ¢  £ £¡© ¨¡  ¡  ¥   § ¥¦ ¥¢  ¥¤ £¢¡  ¥     C B F D G A@ 98 72 61 54 32 1 ( 0 F )% MÁQUI E URI ¤ " !  ¤ "     # 8 Q ( ' % & $   . Una máquina de uring con una sola cinta puede definirse como una tupla dónde: es un conjunto finito de estados. donde derecha.sinewton.Simulación. es una función parcial denominada función de transición. es un símbolo denominado blanco. ordon Brown. es un conjunto finito de símbolos de cinta. Este modelo está formado por un alfabeto de entrada y uno de salida. Su funcionamiento se basa en unafunción de transición. generando una salida en esta misma. es un conjunto finito de símbolos distinto del espacio en blanco. es un movimiento a la izquierda y es el movimiento a la y y y y y y y Datos Bibliográficos:www. representando así la salida. a máquina va leyendo una celda de la cinta en cada paso. un símbolo especial o 0 . un conjunto de estados finitos y un conjunto de llamado blanco normalmente b. A pesar pi e e su adre i tent negar la ausa de su uerte. y es el único símbolo que se puede repetir un número infinito de veces. su vida terminó amargamente y envuelta en una nube de misterio.

Se reemplaza de Datos Bibliográficos:www.Simulación.sinewton.1}. con ³1111 devolverá ³111101111 . saltando los símbolos 1 hasta un 0 (que debe existir). Así. y pasa al estado s2. con el que avanza hasta la derecha. La máquina de Turing copiará el número de símbolos ³1 que encuentre hasta el primer blanco detrás de dicho símbolo blanco.s5} y el estado inicial es s1.org/numeros/numeros . con un 0 en medio. La tabla que describe la función de transición es la siguiente: El funcionamiento de una computación de esta máquin se puede mostrar con el siguiente a ejemplo (en negrita se resalta la posición de la cabeza lectora/escritora): La máquina realiza su proceso por medio de un bucle. y sucesivamente. por ejemplo se puede añadir el símbolo de "no movimiento" en un paso de cómputo. El conjunto de estados es {s1. como símbolo Ejemplo: Definimos una máquina de Turing sobre el alfabeto {0. pero todas ellas tienen el mismo poder computacional. La máquina comenzará su proceso situada sobre un símbolo ³1 de una serie. situada sobre el 1 situado en el extremo izquierdo. pasa a s5 que continúa a la izquierda saltando los 1 hasta el 0 que se escribió al principio. Existen en la literatura un abundante número de definiciones alternativas. donde 0 representa el símbolo blanco. cuando lo encuentra pasa a ser s3. Después comienza el proceso de retorno. Es decir. si tenemos la entrada ³111 devolverá ³1110111 .s2.s3. con s4 vuelve a la izquierda saltando los 1. añade un 1. reemplaza el primer 1 con un 0.s4. doblará el número de símbolos 1. con este estado avanza saltando los 1 hasta encontrar otro 0 (la primera vez no habría ningún 1). cuando encuentra un 0 (en el medio de la secuencia). Una vez en el extremo derecho. en el estado inicial s1.

La función de transición S: Q X T en el caso no determinista. ejecutar en el sentido de controlar otros programas. símbolo]. como una secuencia de símbolos en un determinado alfabeto. y pasa al símbolo siguiente. pasando al estado s1 de nuevo.R}) .org/numeros/numeros V W W P(QX T X {L. un par [estado. Má uinas de Turing deterministas y no deterministas La entrada de una máquina de Turing viene determinada por el estado actual y el símbolo leído. La estructura de una máquina de Turing cuántica es muy similar a la de una máquina de Turing clásica. Deutsch presentó el diseño de la primera Máquina Cuántica basada en una máquina de Turing. Turing indicó: Se puede demostrar que es posible construir una máquina especial de este tipo que pueda realizar el trabajo de todas las demás. siendo el cambio de estado. se pasa a otra iteración del bucle. y abriendo camino para su construcción real. con lo que la máquina se detiene al haber finalizado su cómputo. por ello. Con este fin enunció una nueva variante la tesis de Church dando lugar al denominado ³Principio de Church-Turing-Deutsch´. a su vez. Si es un símbolo 0. y. la idea germinal del concepto de Sistema Operativo. definida sobre las secuencias de posibles cadenas de símbolos de su alfabeto. Má uina de Turing Cuántica En 1985. un programa que puede. si es un 1.sinewton. En 1947. la escritura de un nuevo símbolo y el movimiento las acciones a tomar en función de una entrada.Simulación. demostrando su existencia. símbolo] con más de una posible combinación de actuaciones se dirá que se trata de una máquina de Turing no determinista. En el caso de que para cada par estado y símbolo posible exista a lo sumo una posibilidad de ejecución. será el símbolo central. mientras que en el caso de que exista al menos un par [estado. simule su comportamiento. Está compuesta por los tres elementos clásicos: y Una cinta de memoria infinita en que cada elemento es un Qu Bit Datos Bibliográficos:www. de esta manera. En este sentido se puede considerar como equivalente a un programa de ordenador. Esta máquina especial puede ser denominada máquina universal. a su vez. o a un algoritmo. Esta fue. y unívoca. queda definida como sigue: Má uina Universal de Turing Una máquina de Turing computa una determinada función parcial de carácter definido. nuevo este 0 por 1. podemos construir una máquina de Turing que acepte como entrada la tabla que representa a otra máquina de Turing. Sin embargo es posible realizar una codificación de la tabla que representa a una máquina de Turing. se dirá que es una máquina de Turing determinista. posiblemente.

el juez no podría distinguir quién era el ser humano y quién la máquina. El juez debe descubrir cuál es el ser humano y cuál es la má quina. estándoles a los dos permitido mentir al contestar por escrito las preguntas que el juez les hiciera.  Programa: Conjunto de instrucciones. y la otra bajo el control de un humano. La prueba consiste en un desafío.000 dólares estadounidenses para el programa que pase el test. TEST DE TURING El Test de Turing (o Prueba de Turing) es una prueba propuesta por Alan Turing para demostrar la existencia de inteligencia en una máquina. En 1990 se inició un concurso. La teoría de la computabilidad se interesa a cuatro preguntas: y y y y ¿Qué problemas puede resolver una máquina de Turing? ¿Qué otros formalismos equivalen a las máquinas de Turing? ¿Qué problemas requieren máquinas más poderosas? ¿Qué problemas requieren máquinas menos poderosas? Datos Bibliográficos:www. La única diferencia es que cada elemento de la cinta de la máquina cuántica es un Qu Bit. una de ellas que se e ncuentra bajo el control de un ordenador. Se fundamenta en la hipótesis positivista de que. el Premio Loebner. si una máquina se comporta en todos los aspectos como inteligente. y una máquina y un ser humano en otras.Simulación. entonces debe ser inteligente. y sigue siendo uno de los mejores métodos para los defensores de la Inteligencia Artificial. COMPONENTES DE LA MAQUINA DE TURING Componentes: Memoria: Arreglo infinito (en ambas direcciones) que en cada posici´on almacena un símbolo de A U {B}. Se supone un juez situado en una habitación. Fue expuesto en 1950 en un artículo (Computi g machi ry and int llig nce) para la revista Mind. La cinta de memoria es similar a la de una máquina de Turing tradicional.org/numeros/numeros Y Y YX X . El juez plantea preguntas a las dos pantallas y recibe respuestas. una cabeza lectora. El procesador ejecuta una instrucción por unidad de tiempo. El premio está dotado con 100. Todavía ninguna máquina puede pasar este examen en una experiencia con método científico.sinewton. Todavía no ha sido otorgado el premio principal. una competencia de carácter anual entre programas de ordenador que sigue el estándar establecido en la prueba de Turing. unestado inicial y un conjunto de estados finales.  Control: Conjunto finitos de estados. y un premio de consolación para el mejor programa anual.  TEORÍA DE LA COMPUTABILIDAD La Teoría de la computabilidad es la parte de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing. La tesis de Turing es que si ambos jugadores eran suficientemente hábiles. y y Un procesador finito Un cursor El procesador contiene el juego de instrucciones que se aplica sobre el elemento de la cinta señalado por el cursor. El alfabeto de esta nueva máquina está formado por el espacio de valores del Qu Bit. El resultado dependerá del Qu Bit de la cinta y del estado del procesador. Un juez humano se enfrenta a dos pantallas de ordenador.

Sin embargo. decidir si ese programa terminará para esa entrada o si correrá indefinidamente. El Problema de la parada. generando una salida en esta misma. Datos Bibliográficos:www. como por ejemplo: y El Entscheidungsproblem (problema de decisión en alemán) que se define como: Dada una frase del cálculo de predicados de primer orden. Actualmente se conocen muchos problemas indecidibles. La teoría de cómputos reales estudia máquinas con precisión absoluta en los números reales. Turing demostró que casi todos los números no son computables. ejemplo. es posible demostrar afirmaciones interesantes. CONCLUSION. decidir si ella es un teorema. la Constante de Chaitin no es computable aunque sí que está bien definido. los lenguajes formales y el cálculo Lambda son formalismos muy disímiles y fueron desarrollados por diferentes personas. ellos son todos equivalentes y tienen el mismo poder de expresión. La fuerza de c ómputo de una máquina oráculo viene descrita por su grado de Turing. Un problema indecidible es uno que no puede ser resuelto con un algoritmo aún si se dispone de espacio y tiempo ilimitado. y y ¿Qué otros formalismos e uivalen a las má uinas de Turing? Los lenguajes formales que son aceptados por una máquina de Turing son exactamente aquellos que pueden ser generados por una gramática formal. tales como «el complemento de un conjunto de Mandelbrot es solo parcialmente decidible». Church y Turing demostraron independientemente que este problema es indecidible.sinewton. ¿Qué problemas re uieren má uinas más poderosas? Se considera que algunas máquinas tienen mayor poder que las máquinas de Turing Por . que se define así: Dado un programa y su entrada. Dentro de esta teoría.org/numeros/numeros a ` a a a . Las funciones que pueden ser computadas con el cálculo Lambda son exactamente aquellas que pueden ser computadas con una máquina de Turing.Simulación. Turing demostró que se trata de un problema indecidible. Estos tres formalismos. ¿Qué problemas puede resolver una má uina de Turing? No todos los problemas pueden ser resueltos. El cálculo Lambda es una forma de definir funciones. una máquina oráculo que utiliza una caja negra que puede calcular una función particular que no es calculable con una máquina de Turing. las máquinas de Turing. Por ejemplo. La teoría de la complejidad computacional clasifica las funciones computables según el uso que hacen de diversos recursos en diversos tipos de máquina. Un número computable es un número real que puede ser aproximado por un algoritmo con un nivel de exactitud arbitrario. Las máquinas de Turing es un principio de lo que son las computadoras el cual Alan Turing fue el que dio este principio aplicando algoritmos que representaron esto que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta.