Title: Autómatas finitos con programación funcional