Evolución de la teoría de autómatas y lenguajes formales

Luis Benitez
Mind Map by Luis Benitez, updated more than 1 year ago
Luis Benitez
Created by Luis Benitez over 2 years ago
98
0

Description

Resumen mental de los principales precursores de la teoría de automatas y lenguajes formales. Incluye los origenes, campos de aplicacion y sus mas destacados aportes

Resource summary

Evolución de la teoría de autómatas y lenguajes formales
1 1. Comienza en el siglo XIX
1.1 Con los fundadores de la Lógica Simbólica
1.1.1 Gottlob Frege (1848 - 1925)
1.1.1.1 Sus obras reducen la aritmética a la lógica
1.1.1.1.1 Fundamentos de la aritmética, 1884. Leyes Basicas de la aritmética, 1893
1.1.1.1.1.1 Bertrand Rusell (1872 - 1970)
1.1.1.1.1.1.1 Descubre una paradoja en la teoría de conjuntos
1.1.1.1.1.1.1.1 con ayuda de Alfred North Whitehead (1861 - 1947)
1.1.1.1.1.1.1.1.1 Idea teoría de tipos para evitar la paradoja
1.1.1.1.1.1.1.1.2 Publica: Principios de las matematicas
1.1.1.1.1.1.2 Su obra se vino abajo con
1.1.1.1.1.1.2.1 Kurt Gödell (1906 - 1978)
1.1.1.1.1.1.2.1.1 Dice: "Toda teoría matemática ha de ser incompleta, siempre hay afirmaciones que no se pueden comprobar"
1.1.1.1.1.2 Recibe apoyo de
1.1.1.1.1.2.1 David Hilbert (1862 - 1943)
1.1.1.1.1.2.1.1 Publica 23 problemas pendientes de solución
1.1.2 George Boole
2 2. En 1937 nace la informática teórica
2.1 Alan Mathison Turing (1912 - 1953)
2.1.1 "Números Calculables" introdujo la maquina de Turing
2.1.1.1 Formalizo el concepto de Algoritmo
2.1.1.2 Precursora de las maquinas de calcular automáticas
2.1.2 Padre de la teoría de la computabilidad
2.1.2.1 Modelo de la computación actual
3 3. En 1938, en la ingeniería eléctrica
3.1 Claude Elwood Shannon
3.1.1 aplica la lógica matemática para el análisis de circuitos
3.1.2 Crea teoría matemática de la comunicación
3.1.2.1 Aporta a las telecomunicaciones
3.1.3 Sus ideas dan origen a
3.1.3.1 Teoría de las maquinas secuenciales
3.1.3.2 Autómatas finitos
3.1.3.2.1 Mas sencillas que las de Turing
3.1.3.2.2 aplicadas en
3.1.3.2.2.1 Teoría de control, construcción de compiladores e intérpretes, lingüística, simulación del sistema nervioso
3.1.3.2.3 nacen:autómatas a pila, lineal acotados, generadores y transductor
4 4. En la lingüística, 1950
4.1 Avram Noam Chomsky
4.1.1 Introduce: "Teoría de los lenguajes formales"
4.1.1.1 Herramientas que se aplican al lenguaje natural y de programación
4.1.1.1.1 4 grados de relación entre maquinas y lenguajes formales
4.1.1.1.1.1 Tipo 0: lenguajes sin restricción, problemas computables
4.1.1.1.1.2 Tipo 1: con restricciones, autómatas lineales acotados
4.1.1.1.1.3 Tipo 2: Analizados con autómatas a pila
4.1.1.1.1.4 Tipo 3: Lenguajes regulares y autómatas finitos
Show full summary Hide full summary

Similar

Test Diagnóstico de Informática Básica
victorlobato2009
TECNOLOGÍA TAREA
Denisse Alcalá P
DISPOSITIVOS DE ALMACENAMIENTO
Esteban Bravo3B
20 preguntas sobre sistemas operativos
esmeraldameza100
Curso Basico De Android
manrongel
codigos QR
Cristina Padilla
DISPOSITIVOS DE ENTRADA, SALIDA Y ALMACENAMIENTO
Daniel Ochoa Hernández
Seguridad en la red
Diego Santos
Historia de la Ingeniería
Camila González
Partes principales de un ordenador.
Carlota Muñoz Castaño