Logoitnn

lenguajes y autómatas Josue Martín Arellano Reyes

  • 1467

    cifrado de Alberti

    cifrado de Alberti
    creado por Leone Battista Alberti, para facilitar los cálculos se aprovechaba de un disco de metal que permitía cambiar fácilmente entre los diferentes alfabetos disponibles.
  • The Origin and Progress of Man and Language

     The Origin and Progress of Man and Language
    Lord Monboddo, publicó The Origin and Progress of Man and Language, obra de gran erudición en la que explicaba el surgimiento del lenguaje humano a partir las ventajas evolutivas
  • El primer lenguaje de programacion

    El primer lenguaje de programacion
    Ada Lovelace se propuso traducir las memorias del matemático italiano Luigi Menabrea y, mientras lo hacía, creó un lenguaje de programación a mano para calcular la serie de números de Bernoulli con la máquina de Babbage.
  • Autómatas y Lenguajes Formales

    Autómatas y Lenguajes Formales
    Esta es una teoría que se centra en la computación, es el lenguaje con el que se escriben los sistemas las máquinas abstractas; diferentes teorías han ayudado a la evolución de las nuevas tecnologías de la información y la comunicación, mediante los sistemas formales
  • Teoría Autómatas

    Teoría Autómatas
    Autómatas Finitos: Máquinas teóricas que cambian de estado de acuerdo a la entrada de lenguaje que reciban, la salida de estos autómatas, está limitada a dos valores; aceptado y no aceptado, estás indican si la cadena que han recibido como entrada es válida o no.
  • Andréi Márkov

    Andréi Márkov
    Matemático ruso realizo un proceso llamado cadena de Markov, en donde cada evento depende con cierta probabilidad del evento anterior y esta se utilizaba en los autómatas finitos
  • D. Hilvert

    D. Hilvert
    su meta era crear un sistema matemático formal "completo" y "consistente". Su idea era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal a este problema lo llamo "Entscheidungsproblem"
  • Computabilidad

    Computabilidad
    stephen kleene
    desarrolla las expresiones regulares
  • Maquinas de turing

    Maquinas de turing
    La máquina de Turing es un dispositivo informático el cual consiste en un cabezal de lectura y escritura, lo que mejor conocemos hoy en día con el nombre de escarner y de una cinta de papel que atraviesa la máquina.
  • teoría de autómatas

    teoría de autómatas
    Claude Elwood Shannon, publica la aplicación de la lógica matemática a los circuitos electrónicos.
  • Neurona de McCulloch-Pitts y Pitss Modelo Neronal

    Neurona de McCulloch-Pitts y Pitss Modelo Neronal
    Publicaron un trabajo el cual se hablaba de las neuronas artificiales, y como estás podrían realizar cálculos lógicos, esta consiste de una unidad con la función de la activación tipo escalón
  • Nacimiento de la teoría informática

    Nacimiento de la teoría informática
  • Máquinas de Secuencia

    Máquinas de Secuencia
    prolifera su estudio, frecuentemente Llamándoseles máquinas de secuencia; se establecen
    muchas de sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su equivalencia con las expresiones regulares
  • lingüística

    lingüística
    Noam Chomsky escribe lógica de la teoría lingüística
  • C. Shannon

    C. Shannon
    propone tres modelos para la descripción de lenguajes, que son la base de la futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes de programación
  • Fortran

    Fortran
    el lenguaje de programación más antiguo y que continúa en uso. Creada por John Backus, esta herramienta fue desarrollada para la computación científica de alto nivel, matemáticas y estadísticas.
  • Jerarquía de Chomsky

    Jerarquía de Chomsky
    publica estructuras sintácticas en el que aparece la clasificación de gramáticas
  • se introducen los autómatas a la industria

    se introducen los autómatas a la industria
  • complejidad computacional

    complejidad computacional
    stephen arthur cook publica the complexity of theorem proving procedures, donde define las clases de problemas P, NP y NP completos
  • C++

    C++
    el lenguaje de programación más popular que ha existido nunca. Además, ha sido listado en lo alto de los top ten de los lenguajes de programación desde 1986 y archivado en el Hall of Fame en 2003. Hoy en día es usado por Firefox, Office y Adobe PDF Reader.
  • Ruby On Rails

    Ruby On Rails
    es un framework de aplicaciones web de código abierto escrito en el lenguaje de programación Ruby, siguiendo el paradigma del patrón Modelo Vista Controlador.