12238781
Beschreibung
Mindmap von Luis Benitez, aktualisiert more than 1 year ago
|
Erstellt von Luis Benitez
vor fast 7 Jahre
|
|
Evolución de la teoría de
autómatas y lenguajes
formales
- 1. Comienza en el
siglo XIX
- Con los fundadores de la
Lógica Simbólica
- Gottlob Frege
(1848 - 1925)
- Sus obras reducen la
aritmética a la lógica
- Fundamentos de la aritmética, 1884.
Leyes Basicas de la aritmética, 1893
- Bertrand Rusell
(1872 - 1970)
- Descubre una paradoja en la
teoría de conjuntos
- con ayuda de Alfred North
Whitehead (1861 - 1947)
- Idea teoría de tipos para
evitar la paradoja
- Publica: Principios de
las matematicas
- Idea teoría de tipos para
evitar la paradoja
- con ayuda de Alfred North
Whitehead (1861 - 1947)
- Su obra se
vino abajo con
- Kurt Gödell
(1906 - 1978)
- Dice: "Toda teoría matemática
ha de ser incompleta, siempre
hay afirmaciones que no se
pueden comprobar"
- Dice: "Toda teoría matemática
ha de ser incompleta, siempre
hay afirmaciones que no se
pueden comprobar"
- Kurt Gödell
(1906 - 1978)
- Descubre una paradoja en la
teoría de conjuntos
- Recibe apoyo de
- David Hilbert
(1862 - 1943)
- Publica 23 problemas
pendientes de solución
- Publica 23 problemas
pendientes de solución
- David Hilbert
(1862 - 1943)
- Bertrand Rusell
(1872 - 1970)
- Fundamentos de la aritmética, 1884.
Leyes Basicas de la aritmética, 1893
- Sus obras reducen la
aritmética a la lógica
- George Boole
- Gottlob Frege
(1848 - 1925)
- Con los fundadores de la
Lógica Simbólica
- 2. En 1937 nace la
informática teórica
- 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
- Alan Mathison Turing
(1912 - 1953)
- 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
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.