• Author / Uploaded
• Andrey Hinestroza

Citation preview

Fase 1 Pre saberes

Presentado por: Andrey Hinestroza Cod. 94042025

Presentado a : Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia Vicerrectoría Académica y de Investigación Autómatas y Lenguajes Formales Abril 2019

Realizar un cuadro sinóptico 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. ítems

Elemento de estudio

ítems a analizar

Historia

1300 A.C

1652

Abaco

Primera máquina de sumar.

Tarjetas perforadas

Alrededor del año 1300 antes de Cristodiseño del ábaco tal y como lo conocemos, se le atribuye a un filósofo romano llamado

Blaise Pascal. Fue un matemático, físico, filósofo y teólogo, considerado uno de los padres de las computadoras, junto a Charles Babbage

Joseph Marie Jacquard. Inventó y utilizó las tarjetas perforadas para dirigir el funcionamiento de un telar. Su invento constituyó el primer paso en la construcción de robots mecánicos

se utiliza para realizar transacciones matemáticas simples, como la resta, suma y multiplicación. El

Realizó importantes contribuciones a la invención y posterior construcción de calculadoras mecánicas

maquinaria textil implementó un sistema de plantillas o moldes metálicos perforados, que permitían programar las puntadas del tejido obteniendo diversidad de tramas y figuras.

historia y evolución de la teoría de autómatas y lenguajes formales

Evolución

1801 máquina analítica

1936

calculadora analógica

Máquina de Turing

Atanasoff Berry Computer (ABC)

Charles Babbage, conocido por muchos como “El Padre de la computación”,. educación en las escuelas privadas más prestigiosas de la época

1956 Shannon pionero de la era de la información a raíz , porartículo germinal “A Mathematical Theory of Communication,que la información podía definirse y medirse como noción científica.

En la ‘Iowa State’, investigó el uso de las calculadoras de Monroe esclavas y del ‘International Business Machines (IBM) tabulator’ para la resolución de problemas científicos

Máquina programable de propósito general Vapor como fuente de energía Diseñada para almacenar 1000 números con 50 decimales

operaba basándose en una serie de instrucciones lógicas, algoritmo,sistema automático con reglas simples, podía efectuar toda operacion matemáticas

es decir expresiones regulares, y sucesos especificados por un autómata finito

1943

1956

dispositivo de impulsos eléctricos

1948 teoría de la información

1951

modelos de descripción de lenguajes

McCullon y Pitts, Describen los cálculos lógicos inmersos en un dispositivo que habían diseñado para simular la actividad de una neurona biológica

C. Shannon, utiliza esquemas para poder definir sistemas discretos, parecidos a los autómatas finitos,, para realizar aproximaciones a los lenguajes naturales

En este informe Kleene demuestra la equivalencia entre lo que el llama "dos formas de definir una misma cosa",

C. Shannon propone tresmodelos para la descripción de lenguajes, base de los tipos de lenguajes y desarrollo de los mismos.

Rabin y Scott, obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos

dispositivo que una serie de impulsos eléctricos y producían una salida binaria. las salidas y entradas se podían considerar como cadenas de 0 y 1

esquemas para definir sistemas discretos, similares a los autómatas finitos

,es decir expresiones regulares, y sucesos especificados por un autómata finito

modelos para la descripción de lenguajes

computador con una cantidad finita

1960

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: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10458287 &ppg=9

Desde muy pequeño estaba muy claro que Alan Turing iba a ser una persona de mucha importancia, sus capacidades tanto físicas como mentales lo llevaron hacer el padre de la computación, y precursor de la informática moderna. Desde mi punto de vista fue un brillante matemático, criptoanalista e informático teórico, informan algunas fuentes que además de ser un brillante científico era homosexual, lo cual le costó la vida el siete de junio de 1954.

Alan Mathison Turing nació en Londres, Inglaterra, el 23 de junio de 1912. Como estudiante de la Escuela Sherborne, sobresalió en ciencias y matemáticas, y ganó varios premios de matemáticas a pesar de sus soluciones no convencionales. Turing asistió a King's College, Cambridge, donde continuó con las matemáticas a su propio ritmo y utilizando sus propios métodos, con un éxito creciente. Para 1933, Turing había comenzado a explorar la lógica matemática, que se centra en las pruebas y el cálculo (Crepeau, 2019).

Dentro de los aportes de alan Turing destaco Banburismus fue un proceso criptoanalítico desarrollado por Alan Turing en Bletchley Park en Gran Bretaña durante la Segunda Guerra Mundia, Formalizó los conceptos de algoritmo y computación con su máquina de Turing. Es considerado el padre de la inteligencia artificial

Turing hizo muchas contribuciones a las matemáticas, la lógica y las estadísticas. Sin embargo, es mejor recordado por sus contribuciones a la computabilidad, el diseño de máquinas y la inteligencia artificial. Su trabajo sobre computabilidad, especialmente el concepto universal de la máquina de Turing, fue el primer trabajo moderno sobre la teoría de la computación y se convirtió en una idea central en la teoría de la función recursiva (un área activa de investigación en lógica matemática) y en la teoría de autómatas (una importante disciplina teórica). dentro de la informática). El valor de los esfuerzos de Turing en el diseño de equipos de descifrado de códigos para el esfuerzo de guerra también fue significativo. Su trabajo en la NPL dio como resultado la creación de una de las primeras computadoras modernas operativas, que se utilizó para importantes aplicaciones científicas y de ingeniería en la década de 1950. El trabajo de Turing también influyó en el diseño de las computadoras posteriores, aunque sus ideas de diseño en gran medida quedaron fuera de la corriente principal de los desarrollos de diseño de computadoras. (Crepeau, 2019).

La máquina Enigma

La maquina enigma informan diferentes autores que era una maquina de cifrado utilizada por los nazis y contribuyó según historiadores a nada menos que acortar la Segunda Guerra Mundial, indican que Turing tomó parte en resolver el problema, con la naval Alemana porque nadie más está haciendo algo al respecto así que se decidió a resolverlo. En 1939 Turing ya había resuelto la parte esencial del sistema de indicadores que era más complejo que el utilizado por otros servicios de la Alemania nazi.

La Enigma fue una máquina electro mecánica con rotor usada para enviar mensajes cifrados por la Alemania nazi durante la Segunda Guerra Mundial. Alan Turing participó activamente en el desarrollo de dispositivos de análisis criptográfico así como aportando muchas de las ideas que llevaron al posterior éxito en la ruptura del algoritmo de cifrado que utilizaba la máquina y que supuso un gran avance en la victoria de los aliados en la contienda.

Turing especificó un mecanismo electro mecánico que ayudaba en la misión de romper el algoritmo de la máquina Enigma más rápido que bomba que era el dispositivo de facturación polaca que se estaba usando hasta la fecha. Al nuevo dispositivo se le llamó bombe al ser construida sobre el diseño original polaco.

Bombe mejorado con sugerencias realizadas por el matemático Gordon Welchman, se convirtió en una de las principales herramientas automatizadas en la lucha contra el tráfico de mensajes protegidos con Enigma por la Alemania nazi. (Campos, 2019).

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.

tarjeta perforada: “Una tarjeta perforada es una pieza de cartulina que contiene información digital representada mediante la presencia o ausencia de agujeros en posiciones predeterminadas. Comenzaron a usarse en el siglo 19 para el control de telares, aunque no fue hasta mediados del siglo 20 cuando empezaron a usarse en los ordenadores para el almacenamiento de programas y datos”, Universidad de Málaga (2019) .

Referencias

Crepeau, B. (2019). Alan Turing. Enciclopedia biográfica de salem press. Obtenido de http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&d b=ers&AN=89129668&lang=es&site=eds-live&scope=site

Campos, O. (2019). Alan Turing, padre de la informática moderna y paria social. Retrieved from https://www.genbeta.com/desarrollo/alan-turing-padre-de-la-informaticamoderna-y-paria-social

Universidad de Málaga (2019), Tarjetas perforadas. Retrieved from http://www.uciencia.uma.es/Coleccion-cientificotecnica/Informatica/Galeria/Tarjetas-perforadas .

.