Please enable JavaScript.
Coggle requires JavaScript to display documents.
Teoría de la computación - Coggle Diagram
Teoría de la computación
lenguajes formales
comunicación
símbolos
carácteres
descifrar un orden
universo del lenguaje
reglas
sintácticas
semánticas
cadenas
Elementos
símbolos
terminales
gramática formal
"0", "1","2","3"
no terminales
variables sintácticas
<digit>
<integer>
reglas de producción
gramáticas regulares
a derechas
n → λ
n → t
n → t n‘
donde t ∈ T y n, n’ ∈ N
a izquierdas
n → λ
n → t
n → n‘ t
donde t ∈ T y n, n’ ∈ N
<T, N, n0, P>
N alfabeto símbolos no terminales
n0 ∈ N : axioma
T alfabeto símbolos terminales
P conjunto de reglas
Objetivo
comprender la naturaleza de la computación
metodologías eficientes.
Estudia
Eficiencia de algoritmos
Resolución de problemas
Modelos computacionales
Automatización
Cumplimiento de propiedades
Capacidad
Autómatas
Estudio de cálculo abstracto
Máquinas
estado finito
Dispositivos
robots
computadoras
Capacidad de solución
modelos matemáticos
Aplicación
algoritmos
comprobación de modelos
verificar
protocolos
lenguajes
procesamiento
reconocimiento léxico
lenguajes
robótica
comportamiento
acciones
rutas
estados