Please enable JavaScript.
Coggle requires JavaScript to display documents.
TEORÍA DE LA COMPUTACIÓN - Coggle Diagram
TEORÍA DE LA COMPUTACIÓN
Complejidad Algorítmica
Identificación de la clase de problemas
Relacionada actualmente con Criptografía
Eficiencia de Algoritmo
Cantidad de de recursos para resolver problema
Computabilidad
Lógica Matemática
Fundamento de la Informática Teórica
Problemas de decisión
Calculos efectivos
Teoría de Autómatas
Maquinas abstractas
Maquina de Turing
Autómatas de Pila
Autómata Finito
Autómata linealmente acotado
Aplicación de la Teoría
Máquinas de Estados Basadas en Mensajes y Eventos.
Compiladores Cruzados
Lavadora
Recuperación de Información
Control, Acción, Memoria
Teoría de los Lenguajes Formales
Gramática Formal
Reglas sintácticas y semánticas rígidas
Ejemplos
La Numeración de Gödel
El conjunto de todas las fórmulas bien formadas en la lógica de primer orden
Resolver problemas o a unas cuestiones que no son ordinarios
El conjunto de los símbolos constituyen el lenguaje lógico
Elementos de lenguajes formales
NT" no terminales
"T" terminales
"P" producción
"S" simbología
