Teoría de automatas y Lenguajes Formales - Avances

Timeline created by facebooker_3102558493111614
  • Gottlob Frege

    Pionero en la distinción de las leyes lógicas de su contenido semántico. Publicó las obras tituladas: Conceptografía o Escritura de conceptos.
  • Giuseppe Peano

    Aportes a la lógica matemática con su libro de símbolos modernos para la unión e intersección de conjuntos.
  • Alan Turing

    Creó la Maquina de Turing, desarrolló el teorema de Gödel y puede ser considerado el origen de la informática teórica.
  • Neurona de McCulloch-Pitts

    Se creó la neurona de McCulloch-Pitts que es una unidad de cálculo que intenta molder el comportamiento de una neurona "natural".
  • Ordenador digital

    Se desarrolló la primera computadora digital. Estas máquinas ejecutaban instrucciones consistentes en códigos numéricos y se denominó Lenguaje Maquina.
  • Noam Chomsky

    Comenzó el estudio formal de las gramáticas (generadoras de lenguajes), el creador de la jerarquía de Chomsky y la clasificación de lenguajes formales en teoría de la computación.
  • John Backus

    Investigó el Lenguaje Algebraico.
  • Grace Hopper

    Escribió el primer compilador y lenguaje de programación "A-0".
  • FORTRAN

    La creación de FORTRAN, un lenguaje que permitía escribir fórmulas matemáticas y traducible por un ordenador.
  • Claude Shannon

    Aplicó la lógica matemática para el análisis de circuitos combinatorios.
  • Stephen Kleene

    Fue el creador de la teoría de la recursividad. Aportó a sentar las bases de la ciencia de la computación teórica.
  • Edward F. Moore

    Fue el primero en utilizar el tipo de máquina de estados finitos.
  • Stephen A. Cook

    Extiende el estudio de Turing
  • Comunicación en autómatas

    Las funciones de comunicación comenzaron a integrarse en los autómatas.
  • Comunicaciones MAP

    Intento de estandarización de las comunicaciones con el protocolo MAP.
  • Period: to

    Autómatas finitos

    Se desarrollan maquinas simples que fueron conocidas como autómatas finitos, con el objetivo de molder el funcionamiento del cerebro.
  • Period: to

    Autómatas industriales

    Los autómatas programables se introducen por primera vez en la industria.