Download

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

  • Friedrich Ludwig Gottlob - Logica Matematica

    Friedrich Ludwig Gottlob - Logica Matematica
    Publico una de sus obras mas famosas, "Notacion Conceptual".
    Fue fundador de la moderna lógica matemática y la filosofía analítica. Trabajó intentando deducir los principios de la aritmética de los principios de la lógica. Inventó muchas notaciones simbólicas, como cuantificadores y variables, estableciendo así las bases de la lógica matemática moderna.
  • Giuseppe Peano - Argumentaciones de la logica

    Giuseppe Peano - Argumentaciones de la logica
    Realizo multiples publicaciones, entre las cuales aporto la idea de que es posible poner todas las argumentaciones de la lógica de enunciados y de la lógica de clases en un lenguaje artificial de signos, interconectandolos por medio de implicaciones. Asentando asi el uso de simbolos para el trabajo actual de conjuntos
  • Bertrand Rusell y Alfred North Whitehead - Principia Matematica

    Bertrand Rusell y Alfred North Whitehead - Principia Matematica
    Publicaron "Principia Matematica", Este trabajo constituye un intento de derivar la mayor parte de los conocimientos matemáticos a partir de un conjunto de principios o axiomas. está obra provenía del trabajo de Gottlob Frege que contenía inconsistencias (en particular la paradoja de Russell). Estas eran evitadas en los Principia construyendo una elaborada teoría de tipos.
  • Hilbert - Principios a la logica teorica

    Hilbert - Principios a la logica teorica
    Formuló en 1928, durante el transcurso de un congreso internacional:
    1.- ¿Son completas las matemáticas?
    2.- ¿Son las matemáticas consistentes ?
    3.- ¿Son las matemáticas decidibles?.
    La meta de Hilbert 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.
  • Stephen Kleene - Fundamentos de la informatica teorica

    Stephen Kleene - Fundamentos de la informatica teorica
    Contribuyó a los fundamentos de la informática teórica. Proporcionando métodos para determinar qué problemas son solubles. Generó los grados de computabilidad, la jerarquía aritmética, los ordinales computables, la realizabilidad recursiva y la teoría hiperaritética.
  • Kurt Godel - Teorema de logica matematica

    Kurt Godel - Teorema de logica matematica
    Generó un teorema de logica matematica, que describe la incompletitud o numeracion godel
  • Alan Turing - Maquina Turing

    Alan Turing - Maquina Turing
    Fue uno de los mas brillantes pensadores, matemáticos de su época y un precursor de la computación moderna, ya que desarrollo un dispositivo teórico que por medio de una tabla de reglas definida podía trabajar símbolos sobre una cinta de acuerdo, mejor conocida como máquina de Turing. Es considerado el padre de la inteligencia artificial y reconocido criptografo, por su destacado aporte con el decifrar los codigos de la maquina enigma.
  • Claude E Shannon - Avances en procesamiento de maquinas

    Claude E Shannon - Avances en procesamiento de maquinas
    Fue un matemático y pionero de la computación que realizo múltiples publicaciones en pro de crear las bases para el reconocimiento de la teoría básica de información que podrían procesar las máquinas que serian desarrolladas por los otros pioneros. Otras publicaciones destacadas son, "una teoría matemática de la comunicación", "Programando una computadora para jugar al ajedrez" y "Automata Studies: Annals of Mathematical Studies"
  • McCulloch-Pitts - Primer modelo matematico de la humanidad

    McCulloch-Pitts - Primer modelo matematico de la humanidad
    Dieron el primer paso hacia el perceptrón que usamos hoy, generando el primer modelo matemático de la humanidad de una neurona biológica. Establecio automatas finitos equivalentes a células.
  • J Presper Eckert and John Mauchly - ENIAC

    J Presper Eckert and John Mauchly - ENIAC
    ENIAC, conocida como la primera maquina computacional de propósito general. Construida usando tubos de vacío para el almacenamiento. Esta computadora era una Turing-completa, digital y a su vez susceptible de reprogramarse, necesitaba de una superficie de 167mts cuadrados, con un peso de 27 tonladas aproximadamente.
  • Grace Murray Hopper - MARK I

    Grace Murray Hopper - MARK I
    Grace Murray Hopper, oficial de la marina y precursora de uno de los primeros gran ordenadores, el Mark I. Y por medio de la creacion del Mark I, genero un manual que permito uno de los mas grandes logros generaron el primer lenguaje compilador para ordenadores y creo el termino "bug" para referirse a un error de programación.
  • Noham Chomsky - Formulación teórica

    Noham Chomsky - Formulación teórica
    Noham chomsky, da un gran aporte a la lingüística moderna, con la formulación teórica y el desarrollo del concepto de gramática transformacional y generativa. creando posteriormente su obra "Three models for the description of language" la cual se estableció como un concepto central en informática.
  • John Backus - FORTRAN

    John Backus - FORTRAN
    John Backus, Pionero de la informática reconocido por sus brindar dos grandes aportes, como lo son la notación que permite describir la sintaxis de un Lenguaje de programación de alto nivel, conocida como Backus Normal Form y el desarrollar en conjunto con programadores de IBM el primer Lenguaje de programación de alto nivel, llamado FORTRAN.
  • La industrialización en el uso de los automatas

    La industrialización en el uso de los automatas permitido agregar una gama de varias nuevas funcionalidades, que han superado el tradicional concepto de controlador secuencial, para pasar a realizar funciones especializadas como regulación de procesos continuos, comunicación mediante redes industriales, incorporar novedosos sistemas de cableado distribuido entre otros
  • Estephen A Cook - Formalizó el concepto de NP-completitud

    Estephen A Cook - Formalizó el concepto de NP-completitud
    Estephen A cook, cientifico y matematico que se dedico a extender el trabajo de turing, formalizó el concepto de NP-completitud en un aticulo ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la relación entre las clases de complejidad P y NP.
  • PLC por medio del Protocolo de Automatización de Manufactura

    MAP, se realzia un intento por estandarizar la comunicación con los PLC por medio del Protocolo de Automatización de Manufactura que genero General Motors en 1962, y posteriormente transferido a la Sociedad de Ingenieros en Manufactura SME.
    Su objetivo es proporcionar un estándar común que permita compatibilidad entre los dispositivos de comunicación que operan en un ambiente de manufactura pasando a usar una programación simbólica desde un PC, en vez de terminales dedicadas sólo a ese propósito
  • Norman E. Gibbs y Allen B. Tucker

    Norman E. Gibbs y Allen B. Tucker
    Indican que: ‘no debemos entender que el objetivo
    de las Ciencias de la Computación sea la construcción de programas sino el estudio sistemático
    de los algoritmos y estructura de datos, específicamente de sus propiedades formales’