Gramáticas y lenguajes formales e Introducción a los autómatas finitos.

Ismael Lara
Mind Map by Ismael Lara, updated 4 months ago More Less
Luis Benitez
Created by Luis Benitez over 2 years ago
Ismael Lara
Copied by Ismael Lara 5 months ago
0
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

Gramáticas y lenguajes formales e Introducción a los autómatas finitos.
1 Con los fundadores de la Lógica Simbólica
1.1 Bertrand Rusell (1872 - 1970)
1.1.1 Descubre una paradoja en la teoría de conjuntos
1.1.1.1 con ayuda de Alfred North Whitehead (1861 - 1947)
1.1.1.1.1 Publica: Principios de las matematicas
1.1.1.1.2 Idea teoría de tipos para evitar la paradoja
1.1.1.1.3
2 1. Comienza en el siglo XX
2.1 Uno de los principales defensores de esta idea era el conocido matem´atico alem´anDavid Hilbert (1862 - 1943)
3 Alan Mathison Turing (1912 - 1953)
3.1 "Números Calculables" introdujo la maquina de Turing
3.1.1 Formalizo el concepto de Algoritmo
3.1.2 Precursora de las maquinas de calcular automáticas
3.1.3
3.2 Padre de la teoría de la computabilidad
3.2.1 Modelo de la computación actual
4 3. En 1938, en la ingeniería eléctrica
4.1 Claude Elwood Shannon
4.1.1 aplica la lógica matemática para el análisis de circuitos
4.1.2 Crea teoría matemática de la comunicación
4.1.2.1 Aporta a las telecomunicaciones
4.1.3 Sus ideas dan origen a
4.1.3.1 Teoría de las maquinas secuenciales
4.1.3.2 Autómatas finitos
4.1.3.2.1 Mas sencillas que las de Turing
4.1.3.2.2 aplicadas en
4.1.3.2.2.1 Teoría de control, construcción de compiladores e intérpretes, lingüística, simulación del sistema nervioso
4.1.3.2.3 nacen:autómatas a pila, lineal acotados, generadores y transductor
5 4. En la lingüística, 1950
5.1 Avram Noam Chomsky
5.1.1 Introduce: "Teoría de los lenguajes formales"
5.1.1.1 Herramientas que se aplican al lenguaje natural y de programación
5.1.1.1.1 4 grados de relación entre maquinas y lenguajes formales
5.1.1.1.1.1 Tipo 0: lenguajes sin restricción, problemas computables
5.1.1.1.1.1.1
5.1.1.1.1.2 Tipo 1: con restricciones, autómatas lineales acotados
5.1.1.1.1.3 Tipo 2: Analizados con autómatas a pila
5.1.1.1.1.4 Tipo 3: Lenguajes regulares y autómatas finitos
5.1.1.2
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