Automatas de hierro

Autómatas y lenguajes formales Camilo Eduardo Leon Chaves

  • 1300 BCE

    Abaco

    Abaco
    alrededor del año 1300 AC se utilizaba este instrumento para calcular transacciones básicas matemáticas (suma-resta-multiplicación) se tiende a pensar que el origen del ábaco se encuentra en China.
    Otras opiniones sostienen que el ábaco nació en el Sahara, donde los antecesores del actual ábaco eran dameros rayados
  • Pascalina

    Pascalina
    La pascalina fue la primera calculadora que funcionaba a base de ruedas y engranajes, inventada en 1642 por el filósofo y matemático francés Blaise Pascal (1623-1662). El primer nombre que le dio a su invención fue «máquina de aritmética». Luego la llamó «rueda pascalina», y finalmente «pascalina».
  • Charles Babbage Padre de la computación

    Charles Babbage Padre de la computación
    fue un matemático y científico de la computación británico. Diseñó y desarrolló parcialmente una calculadora mecánica capaz de calcular tablas de funciones numéricas por el método de diferencias. También diseñó, pero nunca construyó, la máquina analítica para ejecutar programas de tabulación o computación; por estos inventos se le considera como una de las primeras personas en concebir la idea de lo que hoy llamaríamos una computadora, por lo que se le considera como El Padre de la Computación
  • Joseph Marie Jacquard.

    Joseph Marie Jacquard.
    Inventó y utilizó las tarjetas perforadas para dirigir el funcionamiento de un telar. Su invento constituyó el primer paso en la construcción de robots mecánicos. Dió a conocer su invento en 1801 y para 1812 había en Francia 11000 Telares Jacquard.
  • Alan Turing

    Alan Turing
    Es considerado uno de los padres de la ciencia de la computación . Proporcionó los conceptos de algoritmo y computación: la máquina de Turing. Durante la segunda guerra mundial, trabajó en descifrar los códigos nazis, de la máquina Enigma, y durante un tiempo fue el director de la sección Naval Enigma de Bletchley Park. Se ha estimado que su trabajo acortó la duración de esa guerra entre 2 y 4 años.Tras la guerra, diseñó uno de los primeros computadores electrónicos programables digitales .
  • Teorema de la incompletitud

    Teorema de la incompletitud
    Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. ... El segundo teorema de incompletitud es un caso particular del primero: afirma que una de las sentencias indecidibles de dicha teoría es aquella que «afirma» la consistencia de la misma.
  • Maquina de Turing

    Maquina de Turing
    presentada por Alan Turing en 1936 en On computable numbers, with an application to the Entscheidungsproblems, es el modelo matemático de un dispositivo que se comporta como un autómata finito y que dispone de una cinta de longitud infinita en la que se pueden leer, escribir o borrar símbolos.
  • Atanasoff-Berry Computer

    Atanasoff-Berry Computer
    fue la primera computadora electrónica y digital automática que se usó con números y letras. Fue construido por el Dr. John Vincent Atanasoff con la ayuda de Clifford Edward Berry entre 1937 y 1942 en la 'Iowa State University', que entonces recibía el nombre de 'Iowa State College'
  • neurona de McCulloch-Pitts

    neurona de McCulloch-Pitts
    La neurona de McCulloch-Pitts es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano. ... o es la salida (output) de la neurona. s es la función no lineal conocida como función de activación.
  • Claude Elwood Shannon

    Claude Elwood Shannon
    Claude Elwood Shannon fue un matemático, ingeniero eléctrico y criptógrafo americano recordado como «el padre de la teoría de la información».​​ Shannon es reconocido por haber fundado el campo de la teoría de la información con la publicación Una teoría matemática de la comunicación, que supuso un hito.
  • Teoría de la información

    Teoría de la información
    Es una propuesta teórica presentada por Claude Shannon y Warren Weaver Esta teoría está relacionada con las leyes matemáticas que rigen la transmisión y el procesamiento de la información y se ocupa de la medición de la información y de la representación de la misma, así como también de la capacidad de los sistemas de comunicación para transmitir y procesar información
  • Stephen Kleene

    Stephen Kleene
    En lógica matemática y en ciencias de la computación, la clausura de Kleene es una operación unaria que se aplica sobre un conjunto de cadenas de caracteres (alfabeto), y representa el conjunto de las cadenas que se pueden formar tomando cualquier número de cadenas del conjunto inicial, posiblemente con repeticiones, y concatenándolas entre sí. La clausura de Kleene a un conjunto V,Es muy usada en expresiones regulares y fue introducida para caracterizar un cierto autómata.
  • Lingüística Noam Chosmsky

    Lingüística Noam Chosmsky
    lingüista, filósofo y analista político estadounidense, de origen judío-ucraniano. Es considerado el "padre de la lingüistica moderna" por ser el autor de la Gramática Generativa (GG), un nuevo modelo de descripción del lenguaje.
    Logical Structure of Linguistic Theory (Tesis doctoral, inédita hasta 1975
  • Claude Elwood Shannon

    Claude Elwood Shannon
    Edita Junto a Mccarthy , autómata studies, sobre maquinas secuenciales y autómatas finitos
  • COBOL LENGUAJE DE PROGRAMACIÖN

    COBOL LENGUAJE DE PROGRAMACIÖN
    El lenguaje COBOL (acrónimo de COmmon Business-Oriented Language, Lenguaje Común Orientado a Negocios) fue creado en el año 1959 con el objetivo de crear un lenguaje de programación universal que pudiera ser usado en cualquier ordenador (ya que en los años 1960 existían modelos de ordenadores incompatibles entre sí
  • Rabin y Scott

    Rabin y Scott
    realizan un modelo de computador con poca memoria, al que llamaron autómata de estados finitos. demostraron básicamente que el descrito mediante expresiones regulares, desarrolladas a partir del trabajo de McCulloch y Pitts