Prueba de operaciones sobre conjuntos (Lenguajes) usando homomorfismos

Prueba de operaciones sobre conjuntos (Lenguajes) usando homomorfismos

de Santiago Gongora De La Fuente -
Número de respuestas: 2
Buenas tardes, hoy de mañana en la muestra del parcial me explicaron que para probar que una operación sobre lenguajes (por ejemplo: LC intersec RI, o cualquier operación) es falsa se podía estructurar usando homomorfismos.

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


En respuesta a Santiago Gongora De La Fuente

Re: Prueba de operaciones sobre conjuntos (Lenguajes) usando homomorfismos

de Juan Jose Prada -

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