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 COMPUTACION ATANASOFF BERRY COMPUTER MODELO NEURONAL AUTOMATAS FINITOS
PASCALINA

-Inicios del siglo XX, Ya en 1907, el

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

AC 1642 1725 1833 1936 1938 1940 1943 1956 SIGLO XX

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

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