hola:
a) la afirmación es genérica y se entiende que "para todo lenguaje La y Lb que cumplen las premisas, se cumple la conclusión" entonces, para probar que la afirmación es falsa, basta dar un contraejemplo, tan particular como uno quiera, que cumpla lo anterior: eso es lo que plantea la solución.
tu demostración no es correcta porque nada te garantiza que la intersección sea LC porque uno de los componentes lo sea.
c) la solución plantea La= {a^k b^k c^k, k >0}, que se prueba en el teórico que no es un lenguaje libre de contexto usando el PL para LC. ese lenguaje, al igual que {a^k b^k , k >0}, se pueden utilizar en las pruebas sabiendo a cuál anillo de la jerarquía de chomsky pertenecen.
saludos,
d.-
a) la afirmación es genérica y se entiende que "para todo lenguaje La y Lb que cumplen las premisas, se cumple la conclusión" entonces, para probar que la afirmación es falsa, basta dar un contraejemplo, tan particular como uno quiera, que cumpla lo anterior: eso es lo que plantea la solución.
tu demostración no es correcta porque nada te garantiza que la intersección sea LC porque uno de los componentes lo sea.
c) la solución plantea La= {a^k b^k c^k, k >0}, que se prueba en el teórico que no es un lenguaje libre de contexto usando el PL para LC. ese lenguaje, al igual que {a^k b^k , k >0}, se pueden utilizar en las pruebas sabiendo a cuál anillo de la jerarquía de chomsky pertenecen.
saludos,
d.-