AUTOMATAS Y LENGUAJES FORMALES

Unidad 1: Fase 0 Explorar.

ALCIRA MONROY SUREZ

MARIA DANIELA GONZALEZ GARCIA
1.104.709.043
VIVIANA RINCON PARDO
1017144498
JUAN CARLOS DONDOO MARTINEZ
1111453850
GRUPO: 301405_93

UNIVERSIDAD NACIONAL ABIERTA A DISTANCIAUNAD

LIBANO TOLIMA
2017
 Actividad 1: Realizar una lnea del tiempo que permita observar cronolgicamente la
historia y evolucin de la teora de autmatas y lenguajes formales, se debe tener en cuenta
los orgenes, los precursores y los distintos campos en los que repercute esta rea del
conocimiento (Ingeniera, lenguajes y gramticas, matemticas y computabilidad) y
aplicacin directa de las ciencias computacionales.

Alonzo Church

-Desarrolla el clculo lambda,

basado en funciones recursivas.
(Base de los lenguajes
Kurt Gdel funcionales)

Publica -Tesis de Church-Turing: cualquier Fortran

Artculo Sobre modelo computacional existente
proposiciones tiene las mismas capacidades Formula TRANslator
formalmente algortmicas, o un subconjunto,
de las que tiene una mquina de Es un lenguaje de
indecidibles de
Turing. programacin para
Principia
Hilbert Mathematica y el desarrollo de
Comienza la segunda
sistemas aplicaciones
Chuch y Turing crean generacin de
Descubre relacionados matemticas y
representacin, computadoras,
mtodo para cientficas, fue el
lenguaje y estructuras caracterizado por
decidir si una primer lenguaje de
formales basadas en utilizar circuitos
funcin lgica programacin de
reglas de produccin transistorizados en vez
es verdadera o alto nivel
de vlvulas de vaco
falsa

1928 1931 1936 1936 1940 1943 1948 1954 1956 1957 1958 1960

Claude Se desarroll COBOL,

Elwood el primer lenguaje de
Mathison Shannon programacin de alto
Turing nivel transportable
Aproximo entre niveles de
Publica lenguajes diferentes
artculo Los naturales computadoras,
McCulloch-Pitts
nmeros aparece ALGOL, el
computables, Descubren primer leguaje de
con una programacin,
clculos lgicos,
estructurado y
aplicacin al (Neurona orientado a los
Entscheidungs Artificial) procedimientos
problem
Stephen Kleene
-Inventa las
mquinas de -Desarrolla las
Turing expresiones regulares.

Numerosos estudios
en Teora de Autmatas
Actividad 2
Realizar un resumen, ensayo o relatora (El estudiante selecciona uno a trabajar) sobre Alan
Turing y la mquina enigma, existen varios documentales y pelculas que cuentan esta
historia, adicional pueden realizar bsquedas en la biblioteca virtual de la universidad sobre
el tema.

RESUMEN

Alan Turing, era un matemtico, su campo era una rama muy abstracta de las matemticas,
la lgica, y sin embargo sus ideas acortaron las guerras de la segunda guerra mundial, que
duro 2 aos. Fue un gran innovador de un amplio aspecto de campos. Empez como lgico
matemtico, despus criptologo, pionero de la inteligencia artificial y bilogo matemtico, le
interesaba todo lo que pudiera ser obtenido por medios mecnicos, incluso cuando se
interesaba por la lgica matemtica estaba pensando en las mquinas, y en crear mquinas
que pudiesen hacer algo que los humanos hicieran.
Las extraas maquina inspiradas por Alan Turing, son la base de la informtica que vemos
actualmente y desempearon un papel importante en la victoria sobre el nacismo. En su
mente inventa una maquina imaginaria compuesta de una cinta de papel infinita y un cursor
que puede escribir y borrar smbolos.
Tuvo la idea de crear una maquina porque contara a la mayora de los matematic0s, su
temperamento intelectual le empujaba a representar los problemas abstractos en forma de
mecanismos lgicos como relojes y calculadoras, experimentos mentales. Nada podra haber
imaginado que este artculo de matemticas, era loa base de lo que hoy en da conocemos
como informtica.
El 6 de Junio de 1944, empez la segunda guerra mundial, donde fueron reunido un gran
ejrcito para combatir, en esta guerra Turing jugo un papel muy importante al traducir
muchos cdigos secretos que permitiran descifrar mensajes.
La radio ayudo muchos desde la primera guerra mundial, para proclamar mensajes, pero
tambin se exponan a ser interceptados por los enemigos, por ese se opt por la criptografa
que cifran los mensajes emitidos por la radio, despus de esto se cre una maquina llamada
enigma con ms de 10.000 millones de configuraciones distintas (aparato descifrado
rotatorio).
En 1939 el ejrcito Nazi, invade Polonia, entonces el cuartel general de servicio Britnico
de Descifrado, recluta acerca de 30 personas entre ellos arquelogos, lingistas, campeones
de ajedrez y dos matemticos, ellos trabajaron da y noche creando una especie de cdigos
que no dieron ningn resultado satisfactorio. La mquina enigma fue creada para ser segura,
aunque cayera en manos de los enemigos, porque para capturar esta mquina generadora se
plantea dos retos:
1. Descubrir cmo funciona, averiguar cmo est diseada, cuantas ruedas tienen y
como se combinan.
2. Desentraar los mtodos de cifrado para poder leer da tras das los mensajes
enviados, por el ejrcito Alemn.

Entonces para el manejo adecuado de esta mquina haca falta alguien brillante e ingenioso,
que pudiera dar aplicabilidad a los anteriores retos. Para esta tarea Turing se pone manos a
la obra, t decide trabajar c para los Nazi, descifrando los cdigos secretos con los que ellos
se comunicaban, logrando romper la encriptacin de la mquina enigma.

Actividad 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 definicin tcnica y la referencia bibliogrfica segn normas
APA.

Criptografa proviene del griego "kryptos" que significa oculto, y "graphia", que significa
escritura, y su definicin segn el diccionario es "Arte de escribir con clave secreta o de un
modo enigmtico". La Criptografa es una tcnica, o ms bien un conjunto de tcnicas, que
originalmente tratan sobre la proteccin o el ocultamiento de la informacin frente a
observadores no autorizados. Entre las disciplinas que engloba cabe destacar la Teora de la
Informacin, la Complejidad Algortmica y la Teora de nmeros o Matemtica Discreta, que
como ya sabemos estudia las propiedades de los nmeros enteros.

A travs de la criptografa la informacin puede ser protegida contra el acceso no

autorizado, su interceptacin, su modificacin y la insercin de informacin extra. Tambin
puede ser usada para prevenir el acceso y uso no autorizado de los recursos de una red o
sistema informtico y para prevenir a los usuarios la denegacin de los servicios a los que s
estn permitidos. Modernamente, la criptografa es la metodologa para proveer la seguridad
de las redes telemticas, incluyendo la identificacin de entidades y autenticacin, el control
de acceso a los recursos, la confidencialidad de los mensajes transmitidos, la integridad de
los mensajes y su no repudio.
http://www.dma.fi.upm.es/recursos/aplicaciones/matematica_discreta/web/aritmetica_modu
lar/criptografia.html

Inteligencia artificial: es la facultad de razonamiento que ostenta un agente que no est

vivo, tal es el caso de un robot, por citar uno de los ejemplos ms populares, y que le fue
conferida gracias al diseo y desarrollo de diversos procesos gestados por los seres
humanos. Cabe destacarse que adems del poder de razonar, estos dispositivos son capaces
de desarrollar muchas conductas y actividades especialmente humanas como puede ser
resolver un problema dado, practicar un deporte, entre otros.
https://www.definicionabc.com/tecnologia/inteligencia-artificial.php

Maquina Enigma: Enigma fue la mquina criptogrfica que usaban los nazis para enviarse
mensajes cifrados durante la guerra. Era una excelente mquina de cifrado, el hecho de que
los polacos, franceses, ingleses y americanos dedicaran todos sus esfuerzos con las mejores
mentes a intentar descifrarla, as lo atestigua. Los nazis la usaron durante 15 aos y cuando
los enemigos descubrieron la forma en que la mquina cifraba los mensajes fue el comienzo
del fin de los nazis.
http://www.areatecnologia.com/maquina-enigma-alemana.htm
Viviana Rincn

Alcira Monroy
1. Realizar una lnea del tiempo que permita observar cronolgicamente la historia y
evolucin de la teora de autmatas y lenguajes formales, se debe tener en cuenta
los orgenes, los precursores y los distintos campos en los que repercute esta rea
del conocimiento (Ingeniera, lenguajes y gramticas, matemticas y
computabilidad) y aplicacin directa de las ciencias computacionales. Segn los
campos en que repercute esta rea del conocimiento tenemos
2. ALAN TURING Y LA MQUINA ENIGMA
Naci el 23 de junio de 1912, hombre importante que gracias a l la II guerra mundial no
duro mucho tiempo, al descifrar los cdigos Nazi, trabajando para el servicio de Inteligencia
Britnico en ese momento tiene 26 aos y empieza como criptoanalista Inventuna mquina,
llamada la bomba, que permita descifrar mensajes Enigma de forma masiva. En 1943 se
desvelaban84.000 mensajes alemanes al mes, Public textos sobre computacin que ahora
ayuda mucho para el ordenar que utilizamos en estos tiempos.
En cuanto a la mquina Enigma la utilizaban los alemanes durante la segunda guerra mundial.
Pero realmente hasta ese momento era muy complicada, puesto que tenan que cambiar los
rotores una vez al mes y esto no les permita descifrar con claridad los mensajes del ejrcito
Britnico. En tres meses Turing descifr el cdigo alemn, pero consider que no era
suficiente, cre juntocon un colega Gordon Wlchman, su propia mquina para neutralizar la
potencia de enigma, esa era la llamada bomba, el sistema de esta mquina era matemtico
para poder probar los rotores lo antes posible.
Turing demostr que dicha mquina era capaz de resolver cualquier problema matemtico
que pudiera representarse mediante un algoritmo.
Lleg a probar que no haba ninguna solucin para el problema de decisin, demostrando
primero que el problema de la parada para las mquinas de Turing es irresoluble: no es
posible decidir algortmicamente si una mquina de Turing dada llegar a pararse o no.
Estas empezaron su auge en 1940 y ocuparon un papel importante porque descifraban los
Mensajes de la fuerza area alemana, descifraba 84.000 mensajes de enigmas al mes. Los
analistas que trabajaron para desentraar el funcionamiento de Lorenz, apodada Tunny, se
inspiraron en la teora estadstica elaborada por Turing para descifrar el Enigma naval. A
partir de un mensaje enviado dos veces sin cambiar la clave, se pudo reconstruir una de estas
mquinas y toda esta informacin se us para fabricar uno de los primeros ordenadores de la
historia, Colossus, que empez a descifrar industrialmente los cdigos de Tunny.
3. PALABRAS IMPORTANTES:
MAQUINA ENIGMA: La mquina Enigma fue inventada por un ingeniero alemn, Arthur
Scherbius, un experto en electromecnica que, tras la primera guerra mundial quiso aplicar
la tecnologa existente para mejorar los sistemas de criptografa de los ejrcitos. Su idea,
patentada en febrero de 1918, consista en aplicar el cifrado de vigenere o, dicho de otra
forma, se aplicaba un algoritmo de sustitucin de unas letras por otras.La mquina Enigma
era un dispositivo electromecnico, es decir, tena una parte elctrica y otra mecnica. El
mecanismo consista en una serie de teclas, con las letras del alfabeto, al igual que una
mquina de escribir, que en realidad eran interruptores que accionaban los dispositivos
elctricos y hacan mover unos cilindros rotatorios. El funcionamiento, cara al usuario, era
bastante sencillo. El operador tena que teclear las letras de su mensaje y anotar las letras que
devolva la mquina (a travs de un alfabeto que se iba iluminando). El cdigo a usar se fijaba
con las posiciones de los cilindros que constaban, cada uno, de 26 cables que se conectaban
al teclado pero, con la particularidad, que el primer cilindro giraba un veintiseisavo de vuelta
despus de cada pulsacin, de tal manera que la posicin de las conexiones iba cambiando
con cada entrada del teclado, obteniendo un cifrado poli alfabtico.
Adems, para dar mayor robustez, el segundo cilindro slo daba un giro cuando el primero
haba completado 26 giros y el tercero cuando el segundo haba dado sus correspondientes
26 y aadi la posibilidad de que los rodillos pudiesen ser intercambiados de posicin, de
manera que el nmero de posibilidades aumentase hasta tener 105.456 alfabetos.
Tomado de https://hipertextual.com/2011/07/la-maquina-enigma-el-sistema-de-cifrado-
quepuso-en-jaque-a-europa

MAQUINA DE TURING:
Una mquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT
despus de algunos pasos. Tanto el INPUT como el OUPUT constan de nmeros en
cdigo binario (ceros y unos). En su versin original la mquina de Turing consiste en una
cinta infinitamente larga con unos y ceros que pasa a travs de una caja. La caja es tan fina
que solo el trozo de cinta que ocupa un bit (0 1) est en su interior. La mquina tiene una
serie de estados internos finitos que tambin se pueden numerar en binario. Para llevar a
cabo algn algoritmo, la mquina se inicializa en algn estado interno arbitrario. A
Continuacin, se pone en marcha y la mquina lee el bit que se encuentra en ese momento
en su interior y ejecuta alguna operacin con ese bit (lo cambia o no, dependiendo de su
estado interno). Despus se mueve hacia la derecha o hacia la izquierda, y vuelve a
Procesar el siguiente bit de la misma manera. Al final se para, dejando el resultado al lado
Izquierdo por ejemplo.
Tomado de http://maquinasdeturing.blogspot.com.co/2010/08/3-que-es-una-maquina-
deturing-y-como.html
JUAN CARLOS LONDO
Actividad 1:
Realizar una lnea del tiempo que permita observar cronolgicamente la historia y evolucin de la
teora de autmatas y lenguajes formales, se debe tener en cuenta los orgenes, los precursores y los
distintos campos en los que repercute esta rea del conocimiento (Ingeniera, lenguajes y gramticas,
matemticas y computabilidad) y aplicacin directa de las ciencias computacionales.

Actividad 2:
Realizar un resumen, ensayo o relatora (El estudiante selecciona uno a trabajar)
Sobre Alan Turing y la mquina enigma, existen varios documentales y pelculas que
cuentan esta historia, adicional pueden realizar bsquedas en la biblioteca virtual de la
universidad sobre el tema. Para saber que estructura tiene cada unode los textos acadmicos
solicitados tener presente el siguiente autor:

Alan, el genio, sus regalos, su tragedia

Alan Turing, nacido el 23 de junio de 1912 en reino unido, y muerto el 7 de junio de 1954,
fue un intelectual de renombre cuyos trabajos abarcaban diversas reas del conocimiento
entre matemticas, lgica, computacin, y criptografa, complementando dichas actividades
como corredor de marcha.
Es conocido entre muchas cosas por ayudar a descifrar los cdigos de la Alemania nazi en la
segunda guerra mundial venciendo a la maquina enigma con una contraparte diseada por el
llamada la bombe, para ello tomaba el saludo de los alemanes y la despedida y se los pasaba
a la mquina para que con estos descifrara el resto del mensaje del da, esto por supuesto se
haca con seales electromecnicas, pues en ese entonces no estaba desarrollada la tecnologa
de microchips lo cual hacia que la maquina fuese enorme, tiempo despus de construirla
ayudara con la teora para que se creara el primer computador elctrico digital: colossus.
Tambin es conocido por crear el test de Turing, el cual decide si una maquina puede o no
ser llamada inteligente, el principio bsico es que si dos entidades se estn comunicando, y
una de ellas, la humana, no puede distinguir si la otra es un humano o una inteligencia
artificial, el test se da por aprobado. Y por supuesto, es conocido por disear la mquina de
Turing, la cual tiene como principio que todo algoritmo computable debe poder computarse
en dicha mquina. Provista de ciertas caractersticas como cinta infinita, cabezal de
lectura/escritura entre otros. Tristemente con todos estos logros en su vida no pudo escapar
de la fatalidad que aconteci, y es que despus de trabajar en la desencriptacin de los cdigos
nazis fue condenado porque se supo de su homosexualidad, la cual no era bien vista en su
poca, despus de algn tiempo en prisin Alan fue reportado como muerto por suicidio,
aunque siempre ha habido el rumor de que fue asesinado, triste final para un hombre que le
entrego grandes regalos no solo a su nacin sino tambin a la humanidad.

Actividad 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 definicin tcnica y la referencia
bibliogrfica segn normas APA.

Computable: adj. Que se puede computar.

Bombe: dispositivo electromecnico (un ordenador de uso especfico) usado por los criptlogos
britnicos para ayudar a descifrar las seales cifradas por la mquina alemana Enigma durante la
Segunda Guerra Mundial. La Armada y el Ejrcito de los Estados Unidos produjeron mquinas con
la misma especificacin funcional, pero diseadas de una manera diferente.
https://es.wikipedia.org/wiki/Bombe

Colossus: Las mquinas Colossus fueron los primeros dispositivos calculadores electrnicos usados
por los britnicos para leer las comunicaciones cifradas alemanas durante la Segunda Guerra Mundial.
Colossus fue uno de los primeros computadores digitales. https://es.wikipedia.org/wiki/Colossus
 BIBLIOGRAFIA

Criptografa
http://www.dma.fi.upm.es/recursos/aplicaciones/matematica_discreta/web/aritmetica_modu
lar/criptografia.html

Inteligencia artificial:
https://www.definicionabc.com/tecnologia/inteligencia-artificial.php

Maquina Enigma
http://www.areatecnologia.com/maquina-enigma-alemana.htm

https://es.wikipedia.org/wiki/Colossus
https://es.wikipedia.org/wiki/Bombe