Tal vez mi pregunta es demasiado amplia para abarcarla en un hilo, pero ¿Cómo sería la estructura de una demostración por homomorfismos, a grandes rasgos?
Muchas gracias,
Santiago
Lo que tenés que pensar es el homomorfismo adecuado para resolver el problema y llevar el/los lenguaje a uno conocido o más "tratable".
Saludos,
Juanjo