CARRERA. ING. SISTEMAS COMPUTACIONALES MATERIA. LENGUAJES Y AUTMATAS TEMA. VIDA Y OBRA DE ALAN TURING NOMBRE DEL MAESTRO(A).

MC. LORENA SANTOS ESPINOZA NOMBRE DEL ALUMNO. JAVIER FLORES MONTALVO GRADO. SEXTO SEMESTRE

INTRODUCCIN.
Para poder comprender el concepto de las mquinas de turing es fundamental reconocer los trabajos de Alan Mathison Turing que hoy en da son las bases de la computacin moderna es por eso que he agregado una pequea biografa de Alan Turing y unos conceptos que desde luego creo yo son fundamentales.

QUIN ES ALAN TURING?

(Alan Mathison Turing; Londres, 1912-Wilmslow, Reino Unido, 1954) Matemtico britnico. Pas sus primeros trece aos en la India, donde su padre trabajaba en la Administracin colonial. De regreso al Reino Unido, estudi en el Kings College y, tras su graduacin, se traslad a la Universidad estadounidense de Princeton, donde trabaj con el lgico A. Church.

Alan Turing En 1937 public un clebre artculo en el que defini una mquina calculadora de capacidad infinita (mquina de Turing) que operaba basndose en una serie de instrucciones lgicas, sentando as las bases del concepto moderno de algoritmo. As, Turing describi en trminos matemticos precisos cmo un sistema automtico con reglas extremadamente simples poda efectuar toda clase de operaciones matemticas expresadas en un lenguaje formal determinado. La mquina de Turing era tanto un ejemplo de su teora de computacin como una prueba de que un cierto tipo de mquina computadora poda ser construida. La Segunda Guerra Mundial ofreci un insospechado marco de aplicacin prctica de sus teoras, al surgir la necesidad de descifrar los mensajes codificados que la Marina alemana empleaba para enviar instrucciones a los submarinos que hostigaban los convoyes de ayuda material enviados desde Estados Unidos; Turing, al mando de una divisin de la Inteligencia britnica, dise tanto los

procesos como las mquinas que, capaces de efectuar clculos combinatorios mucho ms rpido que cualquier ser humano, fueron decisivos en la ruptura final del cdigo. Defini adems un mtodo terico para decidir si una mquina era capaz de pensar como un hombre (test de Turing) y realiz contribuciones a otras ramas de la matemtica aplicada, como la aplicacin de mtodos analticos y mecnicos al problema biolgico de la morfognesis. En el mbito personal, su condicin de homosexual fue motivo constante de fuertes presiones sociales y familiares, hasta el punto de especularse si su muerte por intoxicacin fue accidental o se debi a un intento de suicidio.

PARA PODER TENER UN SISTEMA FUNDAMENTAL ES NECESARIO CUMPLIR CON 3 REQUISITOS BSICOS QUE SON LOS SIGUIENTES COHERENCIA. Se entiende que uno no obtendr jams una contradiccin en
su propio sistema, es decir uno nunca ser capaz de seguir las reglas de su sistema y acabar mostrando que dos y dos son 5.

COMPLETITUD. Significa que si cualquier declaracin es verdadera, tiene

que haber alguna manera de probarlo utilizando las reglas de su sistema.

DECIBILIDAD. Significa que debe existir algn mtodo, algn procedimiento

definido o de prueba, que se pueda aplicar a cualquier afirmacin matemtica determinada y que decidiera si esa afirmacin es o no demostrable

QUE ES UNA MQUINA DE TURING (MT)

Es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una entrada llamada cinta, generando una salida en esta misma. Este modelo est conformado por un alfabeto de entrada y uno de salida, un smbolo especial llamado blanco (Normalmente b, o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados.

CMO FUNCIONA LA MQUINA DE TURING

Se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres (la cinta, la cual es finita por la izquierda) pertenecientes al alfabeto de entrada. Luego va leyendo una celda de la cinta, borrando el smbolo, escribir el nuevo smbolo perteneciente al alfabeto de salida y finalmente avanza a la izquierda o a la derecha (solo una celda a la vez), repitiendo esto segn se indique en la funcin de transicin, para finalmente detenerse en un estado final o de aceptacin, representando as la salida.

Conclusin Alan Turing es considerado como el padre de la computacin moderna por los trabajos realizados durante la segunda guerra mundial con la creacin de la mquina de turing que gracias a eso logro descifrar enigma algunos creen que gracias a su trabajo la guerra se acorto 2 aos mientras que otros creen que fue clave para que los aliados ganaran la segunda guerra mundial pero sin duda la mquina de turing es la base terica de la computacin de hoy en da.