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

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
Luis Benitez
Mind Map by Luis Benitez, updated more than 1 year ago
Luis Benitez
Created by Luis Benitez almost 7 years ago
455
1

Resource summary

Evolución de la teoría de autómatas y lenguajes formales
  1. 1. Comienza en el siglo XIX
    1. Con los fundadores de la Lógica Simbólica
      1. Gottlob Frege (1848 - 1925)
        1. Sus obras reducen la aritmética a la lógica
          1. Fundamentos de la aritmética, 1884. Leyes Basicas de la aritmética, 1893
            1. Bertrand Rusell (1872 - 1970)
              1. Descubre una paradoja en la teoría de conjuntos
                1. con ayuda de Alfred North Whitehead (1861 - 1947)
                  1. Idea teoría de tipos para evitar la paradoja
                    1. Publica: Principios de las matematicas
                  2. Su obra se vino abajo con
                    1. Kurt Gödell (1906 - 1978)
                      1. Dice: "Toda teoría matemática ha de ser incompleta, siempre hay afirmaciones que no se pueden comprobar"
                  3. Recibe apoyo de
                    1. David Hilbert (1862 - 1943)
                      1. Publica 23 problemas pendientes de solución
              2. George Boole
            2. 2. En 1937 nace la informática teórica
              1. Alan Mathison Turing (1912 - 1953)
                1. "Números Calculables" introdujo la maquina de Turing
                  1. Formalizo el concepto de Algoritmo
                    1. Precursora de las maquinas de calcular automáticas
                    2. Padre de la teoría de la computabilidad
                      1. Modelo de la computación actual
                  2. 3. En 1938, en la ingeniería eléctrica
                    1. Claude Elwood Shannon
                      1. aplica la lógica matemática para el análisis de circuitos
                        1. Crea teoría matemática de la comunicación
                          1. Aporta a las telecomunicaciones
                          2. Sus ideas dan origen a
                            1. Teoría de las maquinas secuenciales
                              1. Autómatas finitos
                                1. Mas sencillas que las de Turing
                                  1. aplicadas en
                                    1. Teoría de control, construcción de compiladores e intérpretes, lingüística, simulación del sistema nervioso
                                    2. nacen:autómatas a pila, lineal acotados, generadores y transductor
                              2. 4. En la lingüística, 1950
                                1. Avram Noam Chomsky
                                  1. Introduce: "Teoría de los lenguajes formales"
                                    1. Herramientas que se aplican al lenguaje natural y de programación
                                      1. 4 grados de relación entre maquinas y lenguajes formales
                                        1. Tipo 0: lenguajes sin restricción, problemas computables
                                          1. Tipo 1: con restricciones, autómatas lineales acotados
                                            1. Tipo 2: Analizados con autómatas a pila
                                              1. 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
                                      Materiales de construccion
                                      Diana Woolfolk
                                      INSTRUMENTOS DE MEDIDAS Y SIMBOLOGÍA ELECTRICA - VOLTAJE.
                                      Teresa Villa
                                      Leyes de Kirchhoff (Voltaje y corriente)
                                      dianamardp
                                      DISPOSITIVOS DE ALMACENAMIENTO
                                      Esteban Bravo3B
                                      tema 6 : ELECTRÓNICA
                                      alejandrauscola
                                      20 preguntas sobre sistemas operativos
                                      esmeraldameza100
                                      codigos QR
                                      Cristina Padilla
                                      Curso Basico De Android
                                      manrongel
                                      Historia de la Ingeniería
                                      Camila González