Mapa AUTOMATAS Y LENGUAJES FORMALES

Mapa AUTOMATAS Y LENGUAJES FORMALES

1. AREAS DE CTO

   • arquitectura,línguistica,matemáticas
   • ingeniería , computación, informatica
   • ciencia
   • inteligencia artificial
   • teória de maquinas
   • Lenguaje y gramatica

2. ORIGENES

   • Se origina en los años 30 del siglo XX. y se ha venido desarrollando gracias a que es una ciencia multidisciplinar que se apoya sobre hechos inesperados.

3. APLICACIÓN EN COMPUTACIÓN

   • Proporciona lenguaje para el proceso de algoritmos
   • Lee simbolos en la entrada produce simbolos en la salida
   • cambia de estados internos en función de la entrada
   • traductores, generadores y aceptadores

4. Gottlob Frege 1879

   • caracterización formal de la leyes logicas de su contenido semantico

5. Giuseppe Peano 1887

   • Simbolos modernos, para la interseccion y unión de conjuntos

6. Alan turing 1930

   • Creador de la maquina Turing, desarrollo el teorema de Golden, publico el articulo sobre los números calculables y fue el origen de la informática teórica.

7. HISTORIA

Bilder und Dateien der Mindmap