12342777
Description
Mind Map by Diana Medina Rodriguez, updated more than 1 year ago
|
Created by Diana Medina Rodriguez
about 6 years ago
|
|
Mapa AUTOMATAS Y LENGUAJES
FORMALES
- AREAS DE CTO
- arquitectura,línguistica,matemáticas
- ingeniería , computación,
informatica
- ciencia
- inteligencia artificial
- teória de maquinas
- Lenguaje y gramatica
- arquitectura,línguistica,matemáticas
- 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.
- 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.
- 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
- Proporciona lenguaje para el proceso de algoritmos
- Gottlob Frege 1879
- caracterización formal de la leyes logicas de su contenido semantico
- caracterización formal de la leyes logicas de su contenido semantico
- Giuseppe Peano 1887
- Simbolos modernos, para la interseccion y
unión de conjuntos
- Simbolos modernos, para la interseccion y
unión de conjuntos
- 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.
- 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.
- HISTORIA
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.