التحقق مما إذا كانت اتحاد لغتين منتظم

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 \ mile n \ geq 0 \}. $$ يمكنك إظهار أن اللغة الأخيرة ليست منتظمة بطرق مختلفة.