problemas de su dominio, de manera que se puedan representar en un formalismo