Construye soluciones a problemas computacionales con base en los modelos de cómputo para lenguajes regulares, lenguajes independientes de contexto y la noción de computabilidad.