Un paso hacia la formalización de los clasificadores de residuos