Historia de autómatas y lenguajes formales

By palmeraf

  • Lógica matemática

    Friedrich Ludwig Gottlob Frege
    - Publicó Conceptografía (Begriffsschrift)
    – Desarrollo de la lógica de primer orden.
    – La notación que utilizaba era bastante complicada

  • Giuseppe Peano

    • Propuso la notación actual de la lógica y estudió los principios de la matemática.
    • Crea enciclopedia con todas las fórmulas y teoremas conocidos en matemáticas

  • Bertrand Russell y Alfred North Whitehead

    • Publicaron Principia Mathematica

  • David Hilbert

    • Publica en 1928 Principios de lógica teórica
    • Axiomatización de la geometría. Problemas de Hilbert.

  • Stephen Kleene

    • Estudia la teoría de funciones recursivas.
    • Desarrolla las expresiones regulares
    • Numerosos estudios en Teoría de Autómatas

  • Kurt Göde

    Teorema de incompletitud

  • Alonzo Church -Computabilidad

    -Desarrolla el cálculo lambda, basado en funciones recursivas.
    -Tesis de Church-Turing

  • Alan Mathison Turing - crea la maquina de turing

    • Participa en la ruptura del cifrado de la máquina Enigma
    • Publica el artículo Los números computables, con una aplicación al Entscheidungsproblem.
    • Nacimiento de la Informática Teórica

  • Claude Elwood Shannon - teoría de autómatas

    -Pública A Symbolic Analysis of Relay and Switching Circuits. Aplicación de la lógica matemática a los circuitos electrónicos.

  • Noam Chomsky

    En 1957 publica Estructuras sintácticas en el que aparece la clasificación de gramáticas (Jerarquía de Chomsky)

  • Stephen Arthur Cook

    Pública The Complexity of Theorem Proving Procedures, donde define las clases de problemas P, NP, y NP completos.