buen dia,
mi duda es generica pero la planteo en base a un ejercicio para que quede mas claro...
Cuando vamos a dar un contrejemplo y elegimos un lenguaje LC no regular (distinto de a^kb^k), tenemos que decir porque es LC?
Por ejemplo, en el parcial 2017, en el lenguaje L4 LC no regular, se elige L4 = (a^k)(b^k)(c^m) para hacer el contraejemplo y luego explican porque es LC (es necesaria esa ultima parte). ???
Gracias