Browsing by Subject "Autómatas"
Now showing items 1-2 of 2
-
Comparación de dos algoritmos recientes para inferencia gramatical de lenguajes regulares mediante autómatas no deterministas.
(2011-10-13)El desarrollo de nuevos algoritmos, que resulten convergentes y eficientes, es un paso necesario para un uso provechoso de la inferencia gramatical en la solución de problemas reales y de mayor tamaño. En este trabajo se ... -
Existencia de coálgebras finales para funtores polinomiales
(Universidad del ValleColombiaFACULTAD DE CIENCIAS NATURALES Y EXACTASMATEMÁTICAS, 2011)El trabajo es una reconstrucción de un resultado que dice que todo funtor polinomial Kripke tiene asociada una coálgebra final, este resultado fue probado por primera vez en 1989 por P. Aczel y N. Mendler en la revista ...