21638418
Description
Mind Map by Ismael Lara, updated more than 1 year ago
More
|
Created by Luis Benitez
almost 7 years ago
|
|
|
Copied by Ismael Lara
almost 5 years ago
|
|
Gramáticas y lenguajes formales e Introducción a los
autómatas finitos.
- Con los fundadores de la
Lógica Simbólica
- Bertrand Rusell
(1872 - 1970)
- Descubre una paradoja en la
teoría de conjuntos
- con ayuda de Alfred North
Whitehead (1861 - 1947)
- Publica: Principios de
las matematicas
- Idea teoría de tipos para
evitar la paradoja
- Publica: Principios de
las matematicas
- con ayuda de Alfred North
Whitehead (1861 - 1947)
- Descubre una paradoja en la
teoría de conjuntos
- Bertrand Rusell
(1872 - 1970)
- 1. Comienza en el
siglo XX
- Uno de los principales defensores de esta idea
era el conocido matem´atico alem´anDavid
Hilbert (1862 - 1943)
- Uno de los principales defensores de esta idea
era el conocido matem´atico alem´anDavid
Hilbert (1862 - 1943)
- Alan Mathison Turing
(1912 - 1953)
- "Números Calculables"
introdujo la maquina de
Turing
- Formalizo el concepto
de Algoritmo
- Precursora de las maquinas
de calcular automáticas
- Formalizo el concepto
de Algoritmo
- Padre de la
teoría de la
computabilidad
- Modelo de la
computación actual
- Modelo de la
computación actual
- "Números Calculables"
introdujo la maquina de
Turing
- 3. En 1938, en la
ingeniería eléctrica
- Claude Elwood
Shannon
- aplica la lógica
matemática para el
análisis de circuitos
- Crea teoría
matemática de la
comunicación
- Aporta a las
telecomunicaciones
- Aporta a las
telecomunicaciones
- Sus ideas
dan origen a
- Teoría de las
maquinas
secuenciales
- Autómatas finitos
- Mas sencillas que
las de Turing
- aplicadas en
- Teoría de control, construcción
de compiladores e intérpretes,
lingüística, simulación del sistema
nervioso
- Teoría de control, construcción
de compiladores e intérpretes,
lingüística, simulación del sistema
nervioso
- nacen:autómatas a pila, lineal
acotados, generadores y
transductor
- Mas sencillas que
las de Turing
- Teoría de las
maquinas
secuenciales
- aplica la lógica
matemática para el
análisis de circuitos
- Claude Elwood
Shannon
- 4. En la lingüística, 1950
- Avram Noam Chomsky
- Introduce: "Teoría de los
lenguajes formales"
- Herramientas que se
aplican al lenguaje natural
y de programación
- 4 grados de relación entre
maquinas y lenguajes
formales
- Tipo 0: lenguajes sin
restricción, problemas
computables
- Tipo 1: con
restricciones, autómatas
lineales acotados
- Tipo 2: Analizados con
autómatas a pila
- Tipo 3: Lenguajes regulares
y autómatas finitos
- Tipo 0: lenguajes sin
restricción, problemas
computables
- 4 grados de relación entre
maquinas y lenguajes
formales
- Herramientas que se
aplican al lenguaje natural
y de programación
- Introduce: "Teoría de los
lenguajes formales"
- Avram Noam Chomsky
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.