Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 29 vistas

    Línea de Tiempo

    Cargado por

    Andrea Romero
    El documento presenta una línea de tiempo sobre la evolución de los autómatas y lenguajes formales desde 1879 hasta 1980. Algunos hitos importantes incluyen el desarrollo de la lógica formal en 1879, el uso de símbolos en 1887, la publicación de principios de lógica teórica en 1900, las contribuciones de Kleene, Godel y Church en los 1930s, la formulación de gramáticas transformacionales por Chomsky en 1956 y el desarrollo de la comunicación con PLC en los 1980s.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Línea de Tiempo

    Cargado por

    Andrea Romero
    29 vistas1 página
    El documento presenta una línea de tiempo sobre la evolución de los autómatas y lenguajes formales desde 1879 hasta 1980. Algunos hitos importantes incluyen el desarrollo de la lógica formal en 1879, el uso de símbolos en 1887, la publicación de principios de lógica teórica en 1900, las contribuciones de Kleene, Godel y Church en los 1930s, la formulación de gramáticas transformacionales por Chomsky en 1956 y el desarrollo de la comunicación con PLC en los 1980s.

    Título original

    Línea de tiempo

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta una línea de tiempo sobre la evolución de los autómatas y lenguajes formales desde 1879 hasta 1980. Algunos hitos importantes incluyen el desarrollo de la lógica formal en 1879, el uso de símbolos en 1887, la publicación de principios de lógica teórica en 1900, las contribuciones de Kleene, Godel y Church en los 1930s, la formulación de gramáticas transformacionales por Chomsky en 1956 y el desarrollo de la comunicación con PLC en los 1980s.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    29 vistas1 página

    Línea de Tiempo

    Cargado por

    Andrea Romero
    El documento presenta una línea de tiempo sobre la evolución de los autómatas y lenguajes formales desde 1879 hasta 1980. Algunos hitos importantes incluyen el desarrollo de la lógica formal en 1879, el uso de símbolos en 1887, la publicación de principios de lógica teórica en 1900, las contribuciones de Kleene, Godel y Church en los 1930s, la formulación de gramáticas transformacionales por Chomsky en 1956 y el desarrollo de la comunicación con PLC en los 1980s.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 1

    Línea de tiempo Autómatas y

    Lenguajes Formales
    Presentado por: Eliecer Guzman Barrios
    1879 Aritmética haciendo la
    lógica formal
    Friedrich Gottlob publicó una
    ideografía que trata de un
    conjunto de símbolos y sintaxis
    para clarificar las relaciones lógicas
    contenidas en el lenguaje
    ordinario, le llamó Begriffsschrift.

    1887 Uso de símbolos


    Giuseppe Piano aportó sobre la
    posibilidad de poner todas las
    argumentaciones de la lógica de
    enunciado y de clases, en un
    lenguaje artificial de signos , a
    través de implicaciones.

    1900 Lógica teórica


    David Hilbert publicó los principios
    de la lógica teórica y los problemas
    de decisión, basado en la teoría en
    que era factible hallar un único
    1930 -1939 sistemas que se basara en las
    En 1930 Stephen Kleene aportó a los matemáticas, a través de axiomas e
    fundamentos de la informática inferencias.
    teórica, En 1931 Kurt Godel generó
    un teorema de lógica matemática y
    Alonso Church creo la base de los
    lenguajes funcionales. En 1936 Alan
    Turing desarrollo la hoy conocida
    maquina de Turing. En 1938, Claude
    Shannon aporto a la creación de las
    bases para el reconocimiento de la
    teoría básica de información que
    podrían procesas las maquinas.

    1940-1949
    En 1943, McCulloch Pittsel
    estableció autómatas finitos
    equivalentes a células. En 1944, se
    construyó la primera maquina
    computacional conocida como
    ENIAC. En 1945, Grace Hopper
    genero un manual que abrió paso
    1950-1959 al primer lenguaje compilador, y el
    En 1956, Noham Chomsky formuló bug como un error de
    y desarrolló el concepto de programación.
    gramática transformacional y
    generativa. En 1959, Jhon Backus
    realizo dos grandes aportes: la
    notacion que describe la sintaxis y
    del desarrollo del FORTRAN, y
    Edward Forrest invento la maquina
    de estados finitos, siendo pionero
    de la vida artificial.
    1970
    Estephen Cook extendió el trabajo
    que había realizado Turing, y
    formulo el problema entre las
    clases de complejidad P y NP. Este
    mismo año nace la
    industrialización de los autómatas.

    1980
    Se desarrollo la comunicación con
    los PLC . REFERENCIAS
    Teoría de autómatas. (2022, 18 de febrero). Wikipedia, La
    enciclopedia libre. Desde https://es.wikipedia.org/w/index.php?
    title=Teor%C3%ADa_de_aut%C3%B3matas&oldid=141763921.
    Herrera, A (2021). Historia y Evolución de la Teoría de Autómatas y
    Lenguajes Formales. Desde
    https://www.goconqr.com/es/mapamental/10631292/historia-y-
    evolucion-de-la-teoria-de-automatas-y-lenguajes-formales
    Interpolados (27 enero de 2017). HISTORIA DE LA TEORÍA DE
    AUTÓMATAS. Desde
    https://interpolados.wordpress.com/2017/01/31/historia-de-la-
    teoria-de-automatas/

    También podría gustarte