检查两种语言的联合是否是常规的

Question

如何检查是否

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

是常规的，其中

$ l_1={c ^ ka ^ nb ^ n \ mid k> 0 \ wedge n \ geqslant0 \} $ 显然不是常规和 $ l_2={a，b \} ^ * $ 是...？

Answer 1

如果 $ l $ 定期比以下语言如此： $$ l \ cap ca ^ * b ^ *= {ca ^ nb ^ n \ mid n \ geq 0 \}。$$ 您可以显示后一种语言不规则地以各种方式定期。