La evolución de la Teoría de Autómatas y Lenguajes Formales

Timeline created by Yeuri Baez
  • 385

    Aristóteles (384 a. C - 322 a. C.)

    Aristóteles (384 a. C - 322 a. C.)
    Es reconocido como el padre fundador de la lógica y de la biología, formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía.
  • La Pascalina - Inventada por Blaise Pascal

    La Pascalina - Inventada por Blaise Pascal
    La pascalina fue la primera calculadora que funcionaba a base de ruedas y engranajes. Este invento permite sumar y restar dos números de manera directa y hacer la multiplicación y división por repetición
  • Tarjetas Perforadas - Joseph Marie Jacquard

    Tarjetas Perforadas - Joseph Marie Jacquard
    La tarjeta perforada o simplemente tarjeta es una etiqueta hecha de cartulina que contiene información en forma de perforaciones según un código binario. Estos fueron los primeros medios usados ​​para ingresar información e instrucciones a una computadora en los años 1960 y 1970. Las tarjetas perforadas fueron usadas con anterioridad por Joseph Marie Jacquard en los telares de su invención, de donde pasó a las primeras computadoras electrónicas.
  • La máquina analítica, Charles Babbage

    La máquina analítica, Charles Babbage
    La máquina analítica, es el diseño de un computador moderno de uso general realizado por el profesor británico de matemáticas Charles Babbage, que representa un paso importante en la historia de la computación. Fue descrita en 1837, aunque Babbage logró refinar el diseño hasta su muerte en 1871
  • Motor de Babbage - Ada Augusta Lovelace

    Motor de Babbage - Ada Augusta Lovelace
    Año 1843 Ada Augusta Lovelace, surgió la idea de que las tarjetas perforadas se adaptaran de manera que causaran en el motor de Babbage la repetición de operaciones. Según esta sugerencia, muchos consideran a la condesa de Lovelace, como la primera programadora.
  • Giuseppe Peano--Notación actual de la lógica y estudió los principios de la matemática

    Giuseppe Peano--Notación actual de la lógica y estudió los principios de la matemática
    Nacido en Spinetta (Italia) en 1858
    - Muerto en Turín y 1932
    - Profesor en la Universidad de Turín y en la Academia Militar Real
    - Matemático y filósofo, propuso la notación actual de la lógica y estudió los principios de la matemática.
    - Formulario, enciclopedia con todas las fórmulas y teoremas conocidos en matemáticas
  • Georg Cantor, Dedekind y Frege-Teoria de los Conjuntos

    Georg Cantor, Dedekind y Frege-Teoria de los Conjuntos
    Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845-Halle, 6 de enero de 1918) fue un matemático nacido en Rusia, 1 aunque de ascendencia alemana y judía.2 Fue inventor con Dedekind y Frege de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales).
  • David Hilberg--Principios de lógica teórica

    David Hilberg--Principios de lógica teórica
    Profesor en la Universidad de Gotinga
    - El matemático más importante del s. XX
    - Trabajos en análisis funcional, geometría,
    fundamentos de física cuántica y de relatividad
    general, lógica ...
    - Axiomatización de la geometría. Problemas de Hilbert.
    - Publica en 1928 Principios de lógica teórica
    - Problema de la decisión: descubrir un método general para
    decidir si una fórmula lógica es verdadera o falsa
  • Karl Popper--La lógica de la investigación científica

    Karl Popper--La lógica de la investigación científica
    La lógica de la investigación científica (en alemán Logik der Forschung), contribución principal de Popper a la teoría de la ciencia, clasificada por primera vez en una serie de publicaciones del propio círculo vienés, un peso de que contenía una moderada crítica al positivismo de esta comunidad de filósofos. La obra fue recibida como fruto de las variaciones del círculo, lo que llevó a muchos a la calificación equivocadamente a Popper como positivista
  • Alan Turing--Maquina de Turing

    Alan Turing--Maquina de Turing
    Alan Turing matemático ingles, creado modelos matemáticos de computadores, entre ellos la máquina de Turing en el año de 1936, considerado el científico de la computación. Demostró los teoremas fundamentales acerca de los límites de la computabilidad a los que se le consideró como la teoría de la computación, durante la segunda guerra mundial ayudó a descifrar los códigos secretos en el que manejaron la criptoanálisis, involucrados en la construcción de un computador electrónico británico.
  • Alonso Chruch-Tesis de Church-Turing

     Alonso Chruch-Tesis de Church-Turing
    Profesor en Princeton
    - Desarrolla el cálculo lambda, basado en funciones
    recursivas. (Base de los idiomas funcionales)
    - En 1936 demuestra la existencia de problemas
    indecidibles para el cálculo lambda.
    - Entre 1938 y 1939 trabaja con A. Turing
    - Tesis de Church-Turing: cualquier modelo computacional
    existente tiene las mismas capacidades algorítmicas, o un
    subconjunto, de las que tiene una máquina de Turing.
  • John Vincent Atanasoff y Clifford Edward Berry----(ABC)

    John Vincent Atanasoff y Clifford Edward Berry----(ABC)
    El Atanasoff Berry Computer (ABC) fue la primera computadora electrónica y digital automática que se usa con números y letras.
    El computador fue el primero en implementar tres conceptos claves presentes en los equipos modernos:
    Uso del sistema binario para representar todos los números y datos.
    Realiza todas las operaciones usando la electrónica en lugar de ruedas.
    La computación estaba separada del sistema de almacenamiento o memoria.
  • ENIAC-Computadoras de Propósito General - Universidad de Pensilvania

    ENIAC-Computadoras de Propósito General - Universidad de Pensilvania
    Fue la primera computadora electrónica de propósito general, puesto que tenia la capacidad de realizar cinco mil operaciones aritméticas. Esta máquina ocupaba todo un sistema de la Universidad, tenia más de 18000 tubos de vacío, consumía 200kw de energía eléctrica y requería todo un sistema de aire acondicionado
  • JOHN VON NEUMANN - Teoría de Juegos - Programa almacenado en el computador

    JOHN VON NEUMANN - Teoría de Juegos - Programa almacenado en el computador
    Originador del concepto de programa almacenado en el computador en 1945. Creó el modelo de instrucciones de programas y datos
    almacenados en la memoria del PC.
  • Marvin Lee Minsky----SNARC (Simulador de Redes Neuronales)

    Marvin Lee Minsky----SNARC (Simulador de Redes Neuronales)
    Minsky contribuyó al desarrollo de la descripción gráfica simbólica, geometría computacional, representación del conocimiento, semántica computacional, percepción mecánica, aprendizaje simbólico y conexionista. En 1951 creó SNARC, el primer simulador de redes neuronales. Fue el inventor de las patentes del casco de realidad virtual en 1963 y del microscopio confocal en 1957 (antecesor de los sensores utilizados y modernos microscopios confocales de barrido por láser).
  • DA Huffman

    DA Huffman
    Ya utiliza conceptos como estado de un autómata y tabla de transiciones.
  • N. Chomsky

    N. Chomsky
    Proponer tres modelos para la descripción de lenguas, que son la base futura jerarquía de los tipos de lenguas, que también ayudan en el desarrollo de los LP. Para ello podemos utilizar autómatas para extraer estructuras sintácticas y dirige sus estudios a las gramáticas, indicando que la diferencia esencial entre autómatas y gramáticas es la lógica asociada a los autómatas es decidible, mientras que la asociada a las gramáticas no lo es.
  • C. Shannon y J. McCarthy

    C. Shannon y J. McCarthy
    En 1956, la Princenton Univ. Prensa publica el libro Automata Studies, editado por C. Shannon
    y J. McCarthy, donde se recogen una serie de trabajos sobre autómatas y lenguajes formales.
  • Rabin y Scott

    Rabin y Scott
    Obtiene un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. Demostraron que su comportamiento posible, fue modificado el mismo que el descrito mediante expresiones regulares, desarrollado a partir de
    los trabajos de McCulloch y Pitts.
  • ARPANET - Departamento de Defensa de los Estados Unidos

    ARPANET - Departamento de Defensa de los Estados Unidos
    Creada en 1969-hasta 1990 (Cerrada)
    La Red de la Agencia de Proyectos de Investigación Avanzada (ARPANET) fue una red de conmutación de paquetes tempranos y la primera red en implementar la suite de protocolos TCP / IP. Ambas tecnologías se convirtieron en la base técnica de Internet. El ARPANET fue financiado por la Agencia de Proyectos de Investigación Avanzada (ARPA) del Departamento de Defensa de los Estados Unidos.
  • Norman E. Gibbs y Allen B. Tucker

    Norman E. Gibbs y Allen B. Tucker
    indica que: 'no debemos entender el objetivo de las Ciencias de la Computación del mar la construcción de programas sino el estudio sistemático de los algoritmos y la estructura de datos, específicamente de sus propiedades formales'
  • A. Berztiss

    A. Berztiss
    Vamos a considerar las CC como un cuerpo de conocimiento cuyo objetivo es obtener respuestas para las siguientes cuestiones:
    A) ¿Qué problemas se pueden resolver mediante un ordenador?
    B) ¿Cómo se puede construir un programa para resolver un problema?
    C) ¿Resuelve realmente nuestro programa el problema ?.
    D) ¿Cuánto tiempo y espacio consume nuestro problema?
    Analizando en profundidad los 4 puntos llegaremos a descubrir explícitamente los diferentes contenidos abarcados por las CC