Comprobando si la unión de dos idiomas es regular

Question

Cómo comprobar si

$ l={c ^ kA ^ \ ^ n \ mid k> 0 \ wedge n \ geqslant0 \ \ \ geqslant0 \ \ \ \ \ {a, b \} ^ * $

es regular, donde

$ l_1={c ^ ka ^ \ {c ^ k> 0 \ wedge n \ geqslant0 \ \ \ \ span> $ es claramente no regular y $ l_2={a, b \} ^ * $ es ...?

Answer 1

Si $ l $ fueron regulares de lo que sería el siguiente idioma: $$ L \ CAP CA ^ * B ^ *={CA ^ NB ^ N \ \ {CA ^ NB ^ N \ MID N \ GEQ 0}. $$ Puedes mostrar que este último idioma no es regular de varias maneras.