Prueba de operaciones sobre conjuntos (Lenguajes) usando homomorfismos