Los aspectos mas relevantes de la evolucion de la Teoria de Automatas y Lenguajes Formales.

By florian08
  • 1300 BCE

    Abaco

    Se utiliza para realizar transacciones matemáticas simples, como la resta, suma y multiplicación. El diseño del ábaco tal como lo conocemos, se le atribuye a un filósofo romano llamado Boethius quien estudiaba la geometría con pasión. Alrededor del año 1300 antes de Cristo, sin embargo, también existen evidencias de que en la antigua babilonia se usaba un instrumento parecido en el año 3500 antes de Cristo.

  • Primera máquina de sumar

    Blaise Pascal nació en Clemount-Ferrand en Francia el 19 de junio de 1623, y murió en Paris en 19 de agosto de 1662.. Fue un matemático, físico, filósofo y teólogo, considerado uno de los padres de las computadoras, junto a Charles Babbage. Realizó importantes contribuciones a la invención y posterior construcción de calculadoras mecánicas.

  • El padre de la computación

    Charles Babbage, conocido por muchos como "El padre de la computación". Diseñó la máquina analítica, maquina programable de proposito general Vapor como fuente de energia Diseñada para almacenar 1000 numero con 50 decimales cada uno. Maquina Diferencial Conocida por Babbage, la primera idea al respecto proviene de una publicación olvidada de J. H. Muller en el año 1786, pero no fue hasta 1822, cuando Charles enseño su idea a la Sociedad de Astronomia que la idea tomo fuerza

  • Tarjetas perforadas

    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. Dió a conocer su invento en 1801 y para 1812 había en Francia 11000 Talares Jacquard.

  • Tarjetas perforadas

    En 1801 y ya convertido en inventor e industrial textil Joseph Marie Jacquard dio un fundamental aporte al proceso de las máquinas programables al modificar una maquinaria textil, inventada por Vaucanson, a la cual implementó un sistema de plantillas o moldes metálicos perforados, unidas por correas, que permitían programar las puntadas del tejido logrando obtener una diversidad de tramas y figuras.

  • Alan Turing

    Maquina de Turing que operaba basandose en una serie de instrucciones logicas, sentando asi las bases del concepto moderno de algoritmo. Turing describio en terminos matematicos precisos como un sistema automatico con reglas extremadamente simples podia afectuar toda clase de operaciones matematicas expresadas en un lenguaje formal determinado. Ayudo a decifrar los codigos secretos Enigma durante la 2do guerra mudial Trabajo en la construccion de un computador electronico britanico.

  • Teoría autómatas

    McCulloch-Pitts: En 1943 Warren S. McCullochm, un neurocientifico, y Walter Pitts, un logico, publico Un calculo logico de las ideas inmanentes en la actividad nerviosa. Shannon 1956 Shannon es ante todo conocido como pionero de la era de la informacion a raiz de haber demostrado en su articulo germinal (A Mathematical Theory of Communication) 1948 una teoria matematica de la comunicacion que la informacion podia definirse y medirse como nocion cientifica.

  • Teoría autómatas

    Marvin Minsky
    (Nueva York, 9 de agosto de 1927) es un informatico, cientifico y escritor considerado uno de los padres de las ciencias de la computacion. Cofundador en 2003 del CSAIL, recibio el premio Turing en 1969 y el premio Japon en 1990, asi como el premio BBVA Fronteras del conocimiento en Tecnologias de la informacion y la comunicacion. Rabin y Dana Scott
    1959 Introdujo la idea de las maquinas no deterministas, un concepto enormemente valioso, como se probaria mas adelante.

  • Teoría autómatas

    John McCarthy En 1952, McCarthy le sugirió a Claude Shannon llamar al estudio de las maquinas pensantes con el nombre estudios de automatas, pero al preparar en agosto de 1955 la propuesta para recabar financiacion a la Fundacion Rockefeller para la conferencia penso que seria mejor un nombre con mas marketing. El nombre Inteligencia de maquinas tambien rondo por su mente, pero al final eligio IA.

  • Grace Hopper

    Desarrollo el lenguaje de programacion COBOL. Trabajo en la Armada y se destaco en el mundo de sistemas entre los años 50 y 60. La historia de una doctora en matematica que supo vencer los prejuicios de genero.

  • ARPANET

    1969 ARPANET (Advanced Research Projects Agency Network) como una de las redes creadas por encargo del departamento de defensa de los Estados Unidos para poder establecer un importante nexo de comunicacion entre los distintos Organismos Gubernamentales de la nacion. El primero de estos nodos se llevo a cabo mediante el emplazamiento de una red local en la Universidad de California, siendo una de las primera formas de lo que hoy conocemos como internet.

  • Atanasoff Berry Computer (ABC)

    En la Lowa State, investigo el uso de las calculadoras de Monroe esclavas y del International Business Machines (IBM) tabulator para la resolucion de problemas cientificos En 1936 invento una calculadora analogica para el analisis de la geometria de superficies. La tolerancia mecanica requerida para conseguir una buena exactitud le llevo a considerar un diseño digital. La Atanasoff Berry Computer (ABC) fue concebida por el profesor partiendo de una idea feliz durante el invierno de 1937-1938.

  • John von Neumann

    En 1943, el ejercito estadounidense reclamó su participacion en el proyecto Manhattan para la fabricacion de las primeras bombas atomicas; a partir de entonces, Von Neumann colaboro permanentemente con los militares. Invento la teoria juegos y la teoria del automata auto replicante Originador el concepto de programa almacenado en el computador en 1945, Creo el modelo de instrucciones de programa y datos almacenados en la memoria del computado.