Diseno funcional de un algoritmo para convertir un regex postfix a un NFA funcional