Resultado de la búsqueda: que es una cerradura positiva en automatas