Evolución teoría de autómatas y lenguajes formales

Timeline created by dlavila
  • Teoría de conjuntos

    Teoría de conjuntos
    Bertrand Russell,descubrió la teoría de conjuntos, además dijo que tal como la formulaba Frege, daba lugar a una paradoja. Por lo que ideó la teoría de tipos para evitar la paradoja y publicó la obra "Principio Matematica"
  • Máquina de Turing

    Máquina de Turing
    Alan Turing, definió la "máquina de turing" o máquina automática en la revista Proceedings of the London Mathematical Society. Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo matemático.
  • Teorema de Gödel

    Teorema de Gödel
    Alan Turing, publicó un artículo sobre los números incalulables, con lo cual se desarrolló el teorema de Gödel, siendo éste el origen de la informática teórica
  • Máquinas secuenciales

    Máquinas secuenciales
    Claude Elwood Shannon.
    Publicó "A symbolic Analysis of Relay and Switching Circuits", aplicando lógica matemática para el análisis de los circuitos combinatorios y secuenciales. A demás, inició las llamadas máquinas secuenciales primero
  • Neurona artificial

    Neurona artificial
    McCulloch y Pitts, describen los cálculos lógicos inmersos en un dispositivo (neurona artificial) que habían diseñado para simular la actividad de una neurona biológica.
  • Teoría de la información y Teoría de autómatas

    Teoría de la información y Teoría de autómatas
    Shannon, define los fundamentos de la teoría de la información, utilizando esquemas para definir sistemas discretos, parecidos a los autómatas finitos.
    J, Von Neumann introduce el término de teoría de autómatas.
  • Expresiones regulares

    Expresiones regulares
    S.C Kleene, realiza un informe sobre los trabajos de McCulloch y Pitts, demostrando la equivalencia entre expresiones regulares y sucesos especificados por un autómata finito.
  • Tabla de transiciones

    Tabla de transiciones
    D.A Huffman, utiliza conceptos como estado de un autómata y tabla de transiciones
  • Princeton Univ. Press

    Princeton Univ. Press
    La Princeton Univ. Press, publica el libro "Automata Studies" editado por Shannon y McCarthy.
  • Inicios de los lenguajes

    Inicios de los lenguajes
    N.Chomsky, propone tres modelos para la descripción de lenguajes, que son la base de su futura jerarquía de los tipos de lenguajes, ayudando al desarrollo de lenguajes de programación.
  • Autómata de estados finitos

    Autómata de estados finitos
    Michael Oser Rabin y Dana Scott, obtienen un modelo de computador con una cantidad finita de memoria, a la que llamaron autómata de estados finitos. Demostraron que su comportamiento, era básicamente el mismo que el descrito mediante expresiones regulares por McCulloch y Pitts.
  • Notación Backus Naur

    Notación Backus Naur
    Backus y Naur, desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, es identificado como la forna noraml de Backus (BNF)