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

By joseas080@gmail.com
  • Period: 384 BCE to 322 BCE

    384 a C - 322 a.c

    Aristóteles, es reconocido como el padre fundador de la lógica y la biología. formuló el principio de la no contradicción, un principio clásico de la lógica y la filosofía
  • Period: to

    1879

    Gottlob frege, publicó su revolucionaria obra titulada conceptografia o escritura de conceptos. Fue el primero en distinguir la caracterización formal de la leyes lógicas de su contenido semántico
  • Period: to

    1887

    Giuseppe Peano, publico su primer libro sobre lógica matemática. Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos.
  • Period: to

    1930’s

    Alan Turing, creó la maquina Turing, publicó el artículo “sobre los números calculables”. Desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica.
  • Period: to

    1940’s y 1950’s

    Se desarrollan maquinas simples, fueron conocidas como autómatas finitos, para moldear el funcionamiento de cerebro.
  • Period: to

    1943

    La neurona de McCulloch-Pitts, Unidad de cálculo que intenta modelar el comportamiento de una neurona “natural”.
  • Period: to

    1946

    Se desarrolla la primera computadora digital, estas máquinas ejecutaban instrucciones consistentes en códigos numéricos.
  • Period: to

    1950

    Noam Chomsky, comienza el estudio formar de la gramáticas (generadoras de lenguaje), creador de la jerarquía de Chomsky. Clasificación de lenguajes formales en teoría de la computación
  • Period: to

    1952

    Grace Hopper, Escribió el primer compilador. Lenguaje de programación A-0
  • Period: to

    1954

    Creación de FORTRAN, lenguaje que permitía escribir fórmulas matemáticas traducible por un ordenador
  • Period: to

    1956

    Edward F. Moore, fue el primero en utilizar le tipo de máquina de estados finitos.
    Stephen Kleene, Creador de la teoría de la recursividad, aportó a sentar las bases de la cienca de la computación teórica
    Claude Shannon Aplicó la logica matemática para el análisis de circuitos combinados
  • Period: to

    1960

    Los autómatas programables se introducen por primera vez en la industria.
  • Period: to

    1969

    Sthen A Cook, Extiende el estudio de Turing
  • Period: to

    1973

    Las funciones de comunicación comenzaron a integrase en los autómatas.
  • Period: to

    1980

    Intento la estandarización de las comunicaciones con el protocolo MAP