null
US
Iniciar Sesión
Regístrate Gratis
Registro
Hemos detectado que no tienes habilitado Javascript en tu navegador. La naturaleza dinámica de nuestro sitio requiere que Javascript esté habilitado para un funcionamiento adecuado. Por favor lee nuestros
términos y condiciones
para más información.
Siguiente
Copiar y Editar
¡Debes iniciar sesión para completar esta acción!
Regístrate gratis
10631292
Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales.
Descripción
no
Sin etiquetas
ingeniería
Mapa Mental por
alexander herrera
, actualizado hace más de 1 año
Más
Menos
Creado por
alexander herrera
hace casi 7 años
5166
1
0
Resumen del Recurso
Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales.
(384 a. C - 322 a. C.)
Aristóteles
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
1887
Giuseppe Peano
publicó su primer libro sobre lógica matemática
Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos.
1879
Gottlob Frege
publicó su revolucionaria obra titulada Conceptografía o Escritura de conceptos.
fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico
1946
se desarrolló la primera computadora digital
estas máquinas ejecutaban instrucciones consistentes en códigos numéricos
se denominó lenguaje máquina
1930’s
Alan Turing
Creó la Maquina de Turing
Publicó el artículo "sobre los numeros calculables"
Desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica
1940’s y 1950’s
Se desarrollan maquinas Simples
fueron conocidas como autómatas finitos
para moldear el funcionamiento del cerebro.
1943
La neurona de McCulloch-Pitts
Unidad de cálculo que intenta modelar el comportamiento de una neurona "natural"
establecio autómatas finitos equivalentes a células
1950
Noam Chomsky
comienza el estudio formal de las gramáticas (generadoras de lenguajes)
creador de la jerarquía de Chomsky
clasificación de lenguajes formales en teoría de la computación.
John Backus
Investigó el Lenguaje Algebraico.
1952
Grace Hopper
Escribió el primer compilador
lenguaje de programación A-0
1954
Creacion de FORTRAN
lenguaje que permitía escribir fórmulas matemáticas
traducible por un ordenador
1956
Claude Shannon
Aplicó la lógica matemática para el análisis de circuitos combinatorios
Stephen Kleene
creador de la teoría de la recursividad
Aportó a sentar las bases de la ciencia de la computación teórica
Edward F. Moore
fue el primero en utilizar el tipo de máquina de estados finitos
1960's
Los autómatas programables se introducen por primera vez en la industria
1969
Stephen A. Cook
extiende el estudio de Turing
1973
Las funciones de comunicación comenzaron a integrarse en los autómatas
1980
intento de estandarización de las comunicaciones con el protocolo MAP
Mostrar resumen completo
Ocultar resumen completo
¿Quieres crear tus propios
Mapas Mentales
gratis
con GoConqr?
Más información
.
Similar
Elementos Básicos de Ingeniería Ambiental
Evilus Rada
INGENIERIA DE MATERIALES
Ricardo Álvarez
Historia de la Ingeniería
Camila González
Introducción a la Ingeniería de Software
David Pacheco Ji
UNIDAD II DIBUJO PROYECTIVO
anyimartinezrued
GENERALIDADES DE LAS EDIFICACIONES
yessi.marenco17
MAPA MENTAL SOFTWARE APLICADOS EN INGENIERÍA CIVIL
Ruben Dario Acosta P
Estado de la ingenería mecánica y su perspectiva a futuro
Roberto Martinez
MAPA CONCEPTUAL SOBRE LA INICIATIVA CDIO
Victor Antonio Rodriguez Castañeda
Características de la Pitahaya y su potencial de uso en la industria alimentaria
Héctor Infanzón
Diapositivas neumática
Victor Zamora Delgado
Explorar la Librería