Vérification si l'union de deux langues est régulière

Question

Comment vérifier si

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

est régulier, où

$ l_1={c ^ ka ^ nb ^ n \ mid k> 0 \ wedge n \ geqslant0 \} $ n'est clairement pas régulier et $ l_2={A, B \} ^ * $ est ...?

Answer 1

si $ l $ était régulier que la langue suivante sera la suivante: $$ L \ CAP CA ^ * B ^ *={CA ^ NB ^ N \ MID N \ GEQ 0 \}. $$ Vous pouvez montrer que cette dernière langue n'est pas régulière de différentes manières.