2つの言語の組合が正規であるかどうかを確認してください

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 \ geqlant0 \} $ は明らかに正規ではなく $ L_2={a、b \} ^ * $ は...？？

Answer 1

$ l $ が次のように定期的にあった場合： $$ l \ cap ca ^ * b ^ *={ca ^ nb ^ n \ mid n \ geq 0 \}。$$ 後者の言語がさまざまな方法で通常の方法ではないことを示すことができます。