UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Fase 1 Presaberes
ASIGNATURA: Autómatas y Lenguajes formales
Actividades 1, 2, 3
MANOLO PAJARO BORRAS c.c 8.718129
DOCENTE: JHEIMER JULIAN SEPULVEDA
MEDELLIN 11/02/2019
Tabla de Contenido
Contenido Tabla de Contenido ......................................................................................................... 1 Actividad No. 1 ................................................................................................................ 2 Actividad No. 2 ................................................................................................................ 3 Resumen...................................................................................................................... 3 Actividad No. 3 ................................................................................................................ 5 Bibliografía....................................................................................................................... 6
Página 1 de 7
Actividad No. 1 Realizar una línea del tiempo que permita observar la historia y evolución de la teoría de autómatas y lenguajes formales, se debe tener en cuenta los orígenes, los precursores y los distintos campos en los que repercute esta área del conocimiento (Ingeniería, lenguajes y gramáticas, matemáticas y computabilidad) y aplicación directa de las ciencias computacionales Link Actividad
https://prezi.com/view/wrLHMrEylt3nJM4o4bXz/
Página 2 de 7
Actividad No. 2 Realizar un resumen, ensayo o relatoría (El estudiante selecciona uno a trabajar) sobre Alan Turing y la máquina enigma, existen varios documentales y películas que cuentan esta historia, adicional pueden realizar búsquedas en la biblioteca virtual de la universidad sobre el tema. Para saber que estructura tiene cada uno de los textos académicos solicitados tener presente el siguiente autor:
Resumen Durante la 2da guerra mundial las matemáticas jugaron un papel importante que les permitía descifrar los mensajes enviados por tropas alemanas solo si los cálculos se realizaban de una manera rápida; el reto más importante era conseguir de una forma rápida poder automatizar las matemáticas, para que la maquina pudiera ejecutar de forma segura los cálculos. Un persona que jugo un papel importante en este proceso fue Alan Turing, el analizo toda la confusión generada por los teoremas de Gôdel, comprometiéndose en la tarea de hacer realidad parte de los sueños de Hilbert, que consistía en saber si existía alguna forma de poder cuales de las preguntas eran demostrables y cuales no lo importante era solo tomar aquellas que pudieran ser demostrables. Para los años 30 las calculadoras eren primitivas y bastante inútiles a la hora de poder realizar cálculos profundos, esto llevo a Turing a levara la realidad el concepto de una máquina imaginaria que tuviera la capacidad de llevar cómputos por toda una vida; Lo que Turing no sabia hasta ese momento. Era que si no mecanizaba los procesos en forma imaginaria con preguntas hipotéticas, lo podría catapultar a importantes avances, cuando realizara cálculos reales y maquinas reales. La maquina Enigma utilizada por los alemanes consistía de un teclado conectado a una unidad de codificación creada por alemán Arthur Scherbius y amigo Richard Ritter, una maquina demasiado compleja para cifrar, la máquina constaba de tres rotores, de manera que al codificar una letra saltaba una posición el rotor más rápido; aunque los británicos y los aliados comenzaron a interceptar los mensajes, no podían descifrarlos, Página 3 de 7
pero la clave del mismo fue el resentimiento de Hans-Thilo Schmidt, le dio la oportunidad a los aliados de crear una replica pero eso no significaba aun que podían descifrarlos, el reto de la época era encontrar la clave. La fortaleza del código enigma era que el mensaje cifrado era sometido a varios niveles de codificación a una velocidad bien alta, la idea era romper el código antes de que el contenido del mensaje dejare de ser relevante, el principio básico era descifrar el mensaje antes de que fuera destruido un barco. Una vez que Turing llega a incorporarse al equipo de criptoanalista, analizo que entre toda la información que existía se podían beneficiar de fragmento de texto que podían estar en el mensaje, esto llevo a Turing a lo que se consideró como una de sus ideas mas geniales que fue la de crear Una maquina formada a su vez por tres maquinas enigma, con las posiciones de sus rotores desplazadas. Esta idea trajo como consecuencia que se consiguiera presupuesto que permitiera convertir esa idea en una realidad, para ello el desarrollo una técnica estadística que permitió conocer la realidad de cada rotor. El mayor avance de los británicos con Turing a la cabeza fue que la maquina enigma no podía codifica una letra, es decir que si el emisor tecleaba una letra en particular la maquina teóricamente podía enviar cualquier otra letra excepto la que se tecleaba, esto llevo a que Turing con frecuencia trataba de adivinar palabras claves en los mensajes enviados, al acertar en los mismos aceleraba el proceso de descifrando los demás códigos. Un ejemplo de esto era que si el mensaje contenía palabras niebla velocidad del viento y estaban en lo correcto, pero cuando no podía descifrar el contendido optaban por por enviar un mensaje de destrucción de un puerto a la fuerza aérea británica, esto ocasionaba que el capitán del mismo enviara un mensaje que contenía ciertas palabras, esto permitía a los descifradores británicos interceptar el mensaje, Turing tomaba esas configuraciones y las agregaba a un manual con la finalidad de descifrarlos interceptarlos después. Gracias a esto los aliados sabían mas acerca de su enemigo que los alemanes jamás sospecharon. Página 4 de 7
Actividad No. 3 El estudiante busca 3 palabras que considera importantes para los temas estudiados anteriormente y que no se encuentran en el glosario. Debe agregar el nombre, la definición técnica y la referencia bibliográfica según normas APA. 1. Teoría de la complejidad : Es la parte de la computación que se encarga de analizar la cantidad de recursos necesarios para resolver un problema como son tiempo y espacio. 2. Forma de Backus-Naur: Es la notación para las gramáticas libres de contexto con cambios menores en su formato y algunas abreviaturas. 3. Cerradura Dado un alfabeto ∑ se desea definir un lenguaje en el cual cualquier cadena de letras formadas de ∑ está en el lenguaje. A este lenguaje le llamamos la cerradura del alfabeto denotado como ∑*, esta notación es conocida como estrella o cerradura de Kleen.
4. Programa fuente: es aquel que nos permite escribir un algoritmo mediante un lenguaje formal. Por eso al código desarrollado al programar se le llama código fuente.
5. Programa objeto: es el resultado de traducir un programa fuente para obtener un lenguaje comprensible por la máquina.
Página 5 de 7
Bibliografía Blog el pais. (2015). Obtenido de https://blogs.elpais.com/turing/2013/06/alan-turing-el-descifrado-de-lamaquina-enigma.html El diario.es. (2016). Obtenido de https://www.eldiario.es/turing/criptografia/alan-turing-enigmacodigo_0_226078042.html Historias Y biografias. (2016). Obtenido de https://historiaybiografias.com/maquina_enigma/ OBS. (2017). Business school. Obtenido de https://www.obs-edu.com/int/blog-projectmanagement/metodologias-agiles/los-5-modelos-de-desarrollo-de-software-que-elegiras OpenInnova. (s.f.). OpenInnova. Obtenido de https://www.openinnova.es/odoo-software-herramienta-degestion-de-requisitos-empresariales/ Univ. autonoma estado Hidalgo. (2016). Obtenido de http://cidecame.uaeh.edu.mx/lcc/mapa/PROYECTO/libro32/autocontenido/autocon/index.html Universidad Carlos III de Madrid. (2015). Obtenido de https://earchivo.uc3m.es/bitstream/handle/10016/23750/TFG_Aitor_Urteaga_Pecharroman.pdf Universidades Politecnicas. (s.f.). Obtenido de http://moodle.upq.edu.mx/file.php/1/manual/sexto/M.A._Lenguajes_y_Automatas.pdf
Página 6 de 7