You are on page 1of 8

FASE 1 – PRESABERES, AUTOMATAS Y LENGUAJES FORMALES

JUAN CARLOS AGUILAR SALAMANCA -80732249

301405_23

Presentado a
Jheimer Julián Sepúlveda

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD


JOSÉ ACEVEDO Y GÓMEZ
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERÍA ELECTRÓNICA
FEBRERO 2018
ACTIVIDAD 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.
PADRE DE LA ATANASOFF BERRY COMPUTER MODELO NEURONAL AUTOMATAS FINITOS
PASCALINA COMPUTACION

-Inicios del siglo XX, Ya en


1907, el matemático ruso Andréi
-año 1938, fue la primera computadora Márkov formalizó un proceso
-corría el año 1833. Charles electrónica y digital automática que se usó con McCulloch-Pitts (modelo llamado cadena de Markov,
Babbage era un hombre que números y letras neuronal) donde la ocurrencia de cada
-Primer calculadora que odiaba los errores, fue un - Fue construido por el Dr. John Vincent evento depende con una cierta
funcionaba a base de matemático, filósofo, inventor Atanasoff con la ayuda de Clifford Edward -año 1943, fue el primer modelo probabilidad del evento anterior.
ruedas y engranes e ingeniero mecánico. Berry entre 1937 y 1942 neuronal y moderno. - es un modelo
-Inventada en 1642 por -La máquina diferencial - aportó diversas innovaciones en el campo de -ha servido de inspiración para computacional que
el filósofo y matemático hubiese sido una computadora la computación: un sistema binario para la el desarrollo de otros modelos realiza cómputos en forma
Blaise pascal completamente mecánica. aritmética, memoria regenerativa y distinción neuronales automática sobre
-podía sumar y restar, y -en el año 1822 Babbage entre la memoria y las funciones del primer -retomando importancia debido una entrada para producir
también multiplicar y propuso la idea de construir computador moderno en utilizar aritmética en a que es uno de los pocos una salida. AUTÓMATAS Y
dividir mediante sumas o una calculadora mecánica binario y usar circuitos electrónicos, modelos digitales en tiempo - Este modelo está conformado LENGUAJES
restas sucesivas. para tabular funciones - En binario se utilizan dos símbolos, 0 y 1, discreto y, como para realizar por un alfabeto, un conjunto FORMALES
-Inventada para la tarea polinómicas. para representar valores numéricos. de estados finito, una función de
implantaciones electrónicas o
de recaudación de -Babbage nunca terminó la - Debido a su relación directa con los circuitos transición, un estado inicial y un
Máquina Analítica. Sin computacionales de las neuronas conjunto de estados finales
impuestos electrónicos, el sistema binario se usa
embargo, el concepto de esta artificiales en la actualidad se - Su funcionamiento se basa en
internamente en casi todos los ordenadores
máquina era sorprendente. actuales utilizan sistemas digitales una función de transición, que
recibe a partir de un estado

AC 1642 1725 1833 1936 1938 1940 1943 1956 SIGLO XX

CIENCIA DE LA COMPUTACION
TEORÍA MATEMÁTICA DE TEORIA
TARJETAS PERFORADAS LA INFORMACIÓN AUTOMATASShannon
/COMUNICACIÓN

ABACO Shannon
-corría 1936, Alan Turing Considerado
como uno de los padres de la ciencia de -año 1940, Esta teoría está
Usadas por primera vez la computación y precursor de la relacionada con las leyes John McCarthy
alrededor de 1725 por Basile informática moderna matemáticas que rigen la
Bouchon y Jean-Baptiste Falcon -Proporciono formalmente el concepto transmisión y el procesamiento - corría año 1956, fue un
Mejorada por Joseph Marie de algoritmo y computación de la información prominente informático que
Jacquard en su telar de -Apoyo descifrando códigos a los nazis -se ocupa de la medición de la recibió el Premio
- (Su origen se remonta a la en la segunda guerra mundial con lo
antigua Mesopotamia, más Jacquard en 1855 información y de la Turingen 1971 por sus
-Charles Babbage lanzó la idea que se ayudó a concluirla representación de la misma importantes contribuciones en
de 2000 años antes -Diseño uno de los primeros
de nuestra era.) del uso de las tarjetas perforadas -también de la capacidad de los el campo de la Inteligencia
como un modo de controlar una computadores electrónicos sistemas de comunicación para Artificial
-sirve para realizar programables digitales.
operaciones aritméticas calculadora mecánica transmitir y procesar - fue el responsable de
-Herman Hollerith desarrolló la -Turing demostró que la máquina de información. introducir el término
sencillas Turing era capaz de resolver cualquier
-Considerado Instrumento tecnología de procesamiento de -también de la capacidad de los “inteligencia artificial”,
tarjetas perforadas de datos para problema matemático que pudiera sistemas de comunicación para concepto que acuñó en la
de cálculo más antiguo representarse mediante un algoritmo.
-las filas suelen dividirse en el censo de los Estados Unidos transmitir y procesar Conferencia de Dartmouth
unidades decenas y centenas de América de 1890 informacion en 1956
-muy apreciado en diversas -Desde 1905 hasta 1955, las - Tuvo un especial interés en
culturas tarjetas perforadas fueron el que la computación fuera cada
primer medio para el ingreso y vez más de dominio público
almacenamiento de datos.
ACTIVIDAD 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.

ALAN TURING Y LA MAQUINA ENIGMA

Cuando se establece la palabra guerra, por lo general la asociamos a los 40 años en los que
la sociedad colombiana no ha podido generar un país igualitario en la oferta de
oportunidades a sus ciudadanos, esto sería la definición para muchos de nosotros como
nacionales, pero en este caso, el tema que nos embarca la definición de guerra, está
encaminado hacia una explicación básica de lo que significó la segunda guerra mundial
para la humanidad y como una ciencia del conocimiento ayudo en gran medida para que la
lógica racional triunfara sobre dictaduras militares que moldearon cerebros en búsqueda de
sus propios intereses.

Para este caso se puede definir que la segunda guerra mundial fue el conflicto armamentista
más grande y sanguinario del mundo en el que se enfrentaron los países que conformaban
las Potencias Aliadas y las Potencias del Eje, este acontecimiento ocurrió entre 1939
y 1945. Luego de 6 años de ardua lucha, el 14 de agosto de 1945, se concretó el final de la
guerra con la victoria de los aliados ocurrida tras la caída de los regímenes de Adolf
Hitler en Alemania y Hideki Tojo en el Imperio del Japón

Luego entonces cabe desatacar que la segunda guerra mundial tuvo lugar con participantes
de Europa y Asia como de Norteamérica, por un lado estaban los nazis alemanes con los
japoneses y los italianos y por el otro lado estaban los aliados liderados por los ingleses y
los norteamericanos, es de mencionar que el objetico de la guerra fue establecer un dominio
militar permanente que afirmaba que Europa debería ser controlado por los alemanes y
Asia por los japoneses.

Ya ente punto vale destacar la importancia que tenía el domino del conocimiento para
desarrollar las mejores estrategias militares que aseguraran la victoria al mejor, en este
sentido los alemanes sabían que los británicos habían interceptado comunicaciones con
gran éxito en la primera guerra mundial y que gracias a esto habían asegurado la victoria en
esta primera confrontación mundial, por este motivo es que se hacen en la compra de las
maquinas enigmas para enviar mensajes cifrados a sus tropas y con ello evitar que los
aliados tuvieran a primera mano sus movimientos, la estrategia de los alemanes funciono en
las primeras confrontaciones, pero debido a que los aliados contaban con gran interés de
detener la propagación nazi, es que empiezan a invertir para lograr obtener esa ventaja.
Cuando se busca el termino maquina enigma( imagen 1) sale a flote por obvias razones el
nombre del británico Alan Turing (1912-1954), un matemático, científico y criptoanalitico,
que es considerado como el padre de la computación, gracias a la máquina que diseño con
su mismo nombre, aunque su vida estuvo llena de logros y esta término de una manera
trágica debido a acontecimientos que no tenían nada que ver con el área del conocimiento
sino más bien motivos personales, es necesario resaltar la importancia de su aporte a la
humanidad, desde mi punto de vista al ayudar con su conocimiento a descifrar códigos nazi
y salvar millones de vidas al acortar el tiempo de duración de la segunda guerra mundial.

La máquina enigma ya mencionada como una máquina para encriptar y des encriptar
mensajes, tuvo sus inicios como un artefacto electromecánico empresarial, pero debido a su
facilidad de manejo y supuesta inviolabilidad, un teclado parecido a una máquina de
escribir, una unidad modificadora formada por 3 rotores y una pantalla con bombillas que
mostraban la letra codificada llamo la atención del ejército nazi hasta el punto que se
construyó con modificaciones para que fuera actor principal en el manejo de la
comunicaciones durante el conflicto bélico.

Imagen 1. Maquina enigma : https://eltrasterodepalacio.wordpress.com/2015/09/03/descifrando-


mensajes-la-maquina-enigma-y-la-2a-guerra-mundial/

Cabe mencionar en nombre de la justicia de la creación del conocimiento que la máquina


que se diseñó para romper las codificaciones de enigma fue llamada bombe (imagen 2) y
sus inicios de diseño se deben a Marian Rejewski, un científico polaco que tuvo que huir de
Polonia tras la invasión de esta nación ´por los militares nazis, es entonces que los
gobiernos británicos, franceses e ingleses tomaron el conocimiento que ya se tenía en la
materia y encargaron a Alan turig con ayuda de otros matemáticos para que hicieran pocas
modificaciones a los trabajos de Rejewski y terminaran con su fabricación, estos trabajos
finalmente dieron con la máquina que lograba des encriptar los mensajes y ayudo a tomar
decisiones a las tropas de las naciones aliadas.

Imagen 2. Maquina bombe : https://es.wikipedia.org/wiki/Bombe

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 definición
técnica y la referencia bibliográfica según normas APA.

CRIPTOGRAFÍA:

La criptografía se define como un arte para ocultar mensajes por medio de técnicas de
cifrado, debido a la tecnología inicialmente usada para tal fin, solo era disponible mediante
el uso de máquinas electromecánicas. Wikipedia la define como “se ocupa de las técnicas
de cifrado o codificado destinadas a alterar las representaciones lingüísticas de ciertos
mensajes con el fin de hacerlos ininteligibles a receptores no autorizados. Estas técnicas se
utilizan tanto en el arte como en la ciencia y en la tecnología. Por tanto, el único objetivo de
la criptografía era conseguir la confidencialidad de los mensajes, para lo cual se
diseñaban sistemas de cifrado y códigos, y la única criptografía existente era la
llamada criptografía clásica”
Con la llegada de la computación y el uso masivo de las comunicaciones digitales, ha
surgido la necesidad de proteger la información y aumentar niveles de seguridad. Las
transacciones que se realizan a través de la red pueden ser interceptadas, y por tanto, la
seguridad de esta información debe garantizarse. Este desafío ha generalizado los objetivos
de la criptografía para ser la parte de la criptología que se encarga del estudio de los
algoritmos, protocolos (se les llama protocolos criptográficos), y sistemas que se utilizan
para proteger la información y dotar de seguridad a las comunicaciones y a las entidades
que se comunican.

Para ello los criptógrafos investigan, desarrollan y aprovechan técnicas matemáticas que les
sirven como herramientas para conseguir sus objetivos. Los grandes avances producidos en
el mundo de la criptografía, han sido posibles gracias a la evolución que se han producido
en el campo de la matemática y la informática.

La criptografía actualmente se encarga del estudio de los algoritmos, protocolos y sistemas


que se utilizan para dotar de seguridad a las comunicaciones, a la información y a las
entidades que se comunican.

TEORIA AUTOMATAS

La teoría de autómatas es definida en Wikipedia como una rama de la teoría de la


computación que estudia las máquinas abstractas y los problemas que éstas son capaces de
resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje
formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales
que son capaces de reconocer. También son de gran utilidad en la teoría de la complejidad
computacional.

Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas
en inglés). Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de
una serie de estados de acuerdo a una función de transición (que puede ser expresada como
una tabla). En la variedad común "Mealy" de FSMs, esta función de transición dice al
autómata a qué estado cambiar dados unos determinados estado y símbolo.

La entrada es leída símbolo por símbolo, hasta que es "consumida" completamente (piense
en ésta como una cinta con una palabra escrita en ella, que es leída por una cabeza lectora
del autómata; la cabeza se mueve a lo largo de la cinta, leyendo un símbolo a la vez) una
vez la entrada se ha agotado, el autómata se detiene.

Dependiendo del estado en el que el autómata finaliza se dice que este ha aceptado o
rechazado la entrada. Si éste termina en el estado "acepta", el autómata acepta la palabra. Si
lo hace en el estado "rechaza", el autómata rechazó la palabra, el conjunto de todas las
palabras aceptadas por el autómata constituyen el lenguaje aceptado por el mismo.
LENGUAJES FORMALES

En matemáticas, lógica y ciencias de la computación, Wikipedia lo definen como


un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente
especificados. Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario)
del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una
cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien
formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al
conjunto de todas sus fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto
(que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una
longitud también finita), un lenguaje formal puede estar compuesto por un número infinito
de fórmulas bien formadas.

Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las
fórmulas bien formadas como aquellas que tienen el mismo número de símbolos a que b.
Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc.; y
el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.

Para algunos lenguajes formales existe una semántica formal que puede interpretar y dar
significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal
no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial
con los lenguajes naturales.

En algunos lenguajes formales, la palabra vacía (esto es, la cadena de símbolos de longitud
cero) está permitida, notándose frecuentemente mediante landa.
BIBLIOGRAFIA

El trastero del palacio. (2019). Descifrando mensajes. La máquina enigma. Recuperado de.
Maquina enigma:https://eltrasterodepalacio.wordpress.com/2015/09/03/descifrando-
mensajes-la-maquina-enigma-y-la-2a-guerra-mundial/

Maquina bombe. (s.f) Wikipedia, la enciclopedia libre. Recuperado el 10 de febrero del


2019 de https://es.wikipedia.org/wiki/Bombe

Criptografía. (s.f) Wikipedia, la enciclopedia libre. Recuperado el 10 de febrero del 2019 de


https://es.wikipedia.org/wiki/Criptograf%C3%ADa

Teoría de autómatas. (s.f) Wikipedia, la enciclopedia libre. Recuperado el 11 de febrero del


2019 de https://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas

Lenguajes formales. (s.f) Wikipedia, la enciclopedia libre. Recuperado el 13 de febrero del


2019 de https://es.wikipedia.org/wiki/Lenguaje_formal