2.3.5 AL/Computabilidad Básica. (6 horas)
Tópicos
- Máquinas de estado finito.
- Gramáticas libres del contexto.
- Problemas tratables e intratables.
- Funciones no computables.
- El problema de la parada.
- Implicaciones de la no-computabilidad.
Objetivos
- Discutir el concepto de máquinas de estado finito.
- Explicar las gramáticas libres de contexto.
- Diseñar una máquina de estados finitos determinística para aceptar un lenguage específico.
- Explicar cómo algunos problemas no tienen solución algorítmica.
- Proveer ejemplos que ilustren el concepto de no-computabilidad.
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM