두 언어의 조합이 정규인지 여부를 확인합니다

Question

확인 방법

$ l={c ^ ka ^ nb ^ n \ k> 0 \ 웨지 n \ geqslant0 \} \ 컵 \ {a, b \} ^ * $

는 규칙적입니다. 여기서

$ L_1={C ^ KA ^ NB ^ N \ MID K> 0 \ WEDGE N \ GEQSLANT0} $ 은 $ L_2={A, B \} ^ * $ 은 ...?

Answer 1

$ l $ 은 다음과 같은 언어로 규칙적이었습니다. $$ L \ CA CA ^ * b ^ *={CA ^ nb ^ n \ mid n \ geq 0 \}. $$ 후자의 언어가 다양한 방법으로 정기적이지 않다는 것을 보여줄 수 있습니다.