Automatas y Lenguajes formales

  • 1500 BCE

    Inicios

    Inicios
    Los primeros ejemplos de autómatas se registran en la antigua Etiopía. En el año 1500 a. C., Amenhotep, realiza una estatua de Memon, que emite sonidos cuando la iluminan los rayos del sol al amanecer.
  • 1235

    Bocetos de dispositivos mecánicos

    Villard d’Honnecourt escribe un libro con bocetos que incluyen secciones de dispositivos mecánicos, como un ángel autómata, e indicaciones para la construcción de figuras humanas y animales.
  • 1500

    Representante relevante

    Uno de los personajes más relevantes y representantes es el León Mecánico construido por Leonardo Da Vinci
  • Creador de autómatas

    Pierre Jaquet-Droz, Construyó tres autómatas: La pianista, el dibujante y el escritor.
  • Ingenios en la industria textil

    Se desarrollaron algunas invenciones mecánicas, utilizadas fundamentalmente en la industria textil, entre las que destacan la hiladora giratoria de Hargreaves, la hiladora mecánica de Crompton y el telar mecánico de Cartwrigth
  • Escrito de David Brewster

    Cuenta sobre un ingenio de Jacques de Vaucanson construyo un pato mecánico que fue admirado por toda Europa
  • Origen de los autómatas finitos

    Origen de los autómatas finitos
    El matemático Andréi Márkov (Ruso) formalizó un proceso llamado cadena de Markov, donde la ocurrencia de cada evento depende con una cierta probabilidad del evento anterior, esta capacidad de "recordar" es utilizada posteriormente por los autómatas finitos, que poseen una memoria primitiva similar, en que la activación de un estado también depende del estado anterior, así como del símbolo o palabra presente en la función de transición.
  • A. Turing

    A. Turing
    Surge un acontecimiento importante, presenta el concepto final de la Maquina de Turing, este se convierte en el fundamento de las teorías modernas para la programación de las máquinas electrónicas
  • Análisis y informatización de los automatismos lógicos industriales:

    Shannon desarrolla el primer análisis simbólico de las propiedades de los circuitos de conmutación utilizando como herramienta el álgebra de Boole
  • Primer robot humanoide

    En la feria mundial de nueva York, se presentó uno de los primeros robots humanoides, llamado ELEKTRO con varios pies de altura en puro aluminio y un vocabulario de setecientas palabras
  • El termino automatización fue puesto en circulación

    Delmar S. Halder, opina que la automatización debería ser un concepto global que abarque todos los diseños y dispositivos realizados para conseguir una plena automatización de la producción
  • Lógica Matemáticas

    Claude Elwood Shannon - Aplica la lógica matemática a los circuitos combinatorios.
  • Primeras computadoras

    A finales de los años cuarenta surgió un avance fundamental para la robótica: se desarrollaron los primeros computadores
  • Popularizan

    Durante esta década el estudio de los autómatas finitos multiplica su estudio, bautizadas como maquinas de secuencia, se establecen características como los lenguajes regulares y su equivalencia con las expresiones regulares.
  • Autómata Finito

    surge el concepto de autómata finito no determinista en manos de los informáticos teóricos Michael O. Rabin y Dana Scott
  • Autómatas programables

    Se introducen por primera vez en la industria, Bedford Associates propuso un sistema de control denominado Controlador Digital Modular (Modicon, Modular Digital Controler) al fabricante de automóviles General Motors.
  • Redes de petri

    Es una herramienta matemática propuesta por Carl Adam Petr, las redes de Petri suministran un método de análisis y síntesis de automatismos secuenciales y concurrentes. La potencia de la herramienta es enorme y se aplica en el análisis y modelado de sistemas no solo en el campo de la automática, sino también en el de la informática y las comunicaciones
  • Teoría de lenguajes formales

    Se desarrolló como una rama independiente de la lingüística, con problemas, técnicas y resultados específicos. Desde entonces ha desempeñado un importante papel en el ámbito de la computación
  • Aplicaciones de los autómatas finitos.

    con el desarrollo del sistema operativo Unix , los autómatas finitos encuentran su nicho en el uso masivo de expresiones regulares para fines prácticos, específicamente en el diseño de analizadores léxicos desde ese momento los autómatas finitos también se comienzan a utilizar en sistemas dinámicos.
  • El primer bus de comunicaciones

    Las funciones de comunicación comenzaron a integrarse en los autómatas, el primer bus de comunicaciones fue el Modbus de Modicon. El PLC podía ahora establecer comunicación e intercambiar informaciones con otros PLC's.
  • Chomsky

    Es el creador de la jerarquía de Chomsky, una clasificación de lenguajes formales de gran importancia en teoría de la computación.
  • Se definen clases de automatas

    Se encuentran finitos, determinista, no determinista, con transiciones, con pilas y acotado.
  • La actualidad

    La actualidad
    Decenas de millones de robots funcionan en plantas industriales, quirófanos o laboratorios, realizando tareas peligrosas o explorando entornos vedados para el ser humano.