10631292
Description
Mind Map by alexander herrera, updated more than 1 year ago
|
Created by alexander herrera
about 7 years ago
|
|
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
- formuló el principio de la no
contradicción un principio clásico de
la lógica y la filosofía
- Es reconocido como el
padre fundador de la
lógica y de la biología
- Aristóteles
- 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.
- Este libro fue el primero en usar los
símbolos modernos para la unión e
intersección de conjuntos.
- publicó su primer libro sobre
lógica matemática
- Giuseppe Peano
- 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
- publicó su revolucionaria
obra titulada
Conceptografía o Escritura
de conceptos.
- Gottlob Frege
- 1946
- se desarrolló la primera
computadora digital
- estas máquinas ejecutaban
instrucciones consistentes en
códigos numéricos
- se denominó lenguaje
máquina
- se denominó lenguaje
máquina
- estas máquinas ejecutaban
instrucciones consistentes en
códigos numéricos
- se desarrolló la primera
computadora digital
- 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
- Desarrollo el teorema de Gödel y puede considerarse el
origen de la informática teórica
- Creó la Maquina de
Turing
- Alan Turing
- 1940’s y 1950’s
- Se desarrollan
maquinas Simples
- fueron conocidas como
autómatas finitos
- para moldear el funcionamiento del cerebro.
- para moldear el funcionamiento del cerebro.
- fueron conocidas como
autómatas finitos
- Se desarrollan
maquinas Simples
- 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
- establecio autómatas finitos
equivalentes a células
- Unidad de cálculo que intenta
modelar el comportamiento de una
neurona "natural"
- La neurona de McCulloch-Pitts
- 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.
- clasificación de lenguajes formales
en teoría de la computación.
- comienza el estudio formal de las
gramáticas (generadoras de lenguajes)
- John Backus
- Investigó el Lenguaje Algebraico.
- Investigó el Lenguaje Algebraico.
- Noam Chomsky
- 1952
- Grace Hopper
- Escribió el primer compilador
- lenguaje de programación A-0
- lenguaje de programación A-0
- Escribió el primer compilador
- Grace Hopper
- 1954
- Creacion de FORTRAN
- lenguaje que permitía escribir
fórmulas matemáticas
- traducible por un ordenador
- traducible por un ordenador
- lenguaje que permitía escribir
fórmulas matemáticas
- Creacion de FORTRAN
- 1956
- Claude Shannon
- Aplicó la lógica matemática para el análisis de
circuitos combinatorios
- 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
- creador de la teoría de
la recursividad
- Edward F. Moore
- fue el primero en utilizar el tipo
de máquina de estados finitos
- fue el primero en utilizar el tipo
de máquina de estados finitos
- Claude Shannon
- 1960's
- Los autómatas programables se introducen por
primera vez en la industria
- Los autómatas programables se introducen por
primera vez en la industria
- 1969
- Stephen A. Cook
- extiende el estudio de Turing
- extiende el estudio de Turing
- Stephen A. Cook
- 1973
- Las funciones de comunicación comenzaron a
integrarse en los autómatas
- Las funciones de comunicación comenzaron a
integrarse en los autómatas
- 1980
- intento de estandarización de las
comunicaciones con el protocolo MAP
- intento de estandarización de las
comunicaciones con el protocolo MAP
Want to create your own Mind Maps for free with GoConqr? Learn more.