检查两种语言的联合是否是常规的
-
29-09-2020 - |
题
如何检查是否
$ 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 \} ^ * $ 是...?
解决方案
如果 $ l $ 定期比以下语言如此: $$ l \ cap ca ^ * b ^ *= {ca ^ nb ^ n \ mid n \ geq 0 \}。$$ 您可以显示后一种语言不规则地以各种方式定期。
不隶属于 cs.stackexchange