12342777
Descripción
Mapa Mental por Diana Medina Rodriguez, actualizado hace más de 1 año
|
Creado por Diana Medina Rodriguez
hace casi 7 años
|
|
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
Recursos multimedia adjuntos
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.