Controllando se un singolo di due lingue è regolare

Question

Come controllare se

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

è regolare, dove

$ l_1={c ^ ka ^ nb ^ n \ metà k> 0 \ wedge n \ geqslant0 \} $ chiaramente non regolare e $ l_2={a, b \} ^ * $ è ...?

Answer 1

Se $ l $ erano regolari che così la lingua seguente sarebbe: $$ L \ Cap CA ^ * B ^ *={CA ^ NB ^ N \ MID N \ GEQ 0 \}. $$ Puoi mostrare che quest'ultimo linguaggio non è regolare in vari modi.