定期泵浦引理证明L = {Am + n Bm C2n}不规则

时间:2015-10-31 17:33:30

标签: regular-language computation-theory pumping-lemma

我想证明这种语言不是常规L = {Am + n Bm C2n}所以这就是我所做的:

设m为临界长度L和长度| W |> / m

我选择W = A3m Bm C2m

然后从泵浦引理得到:W = A3m Bm C2m,长度为| YZ |< \ m,| Y |> / 1

因此:y = Bk,1 \

来自泵浦引理:YZiX∈Li= 0,1,2,3 ...

因此:YZ0X =ZX∈L

因此:A3m Bk-mC2m∉L      L = {Am + n Bm C2n}我们这里有矛盾,因此语言不规律。这是正确的吗 ?或者你可以给我看正确的解决方案:D

0 个答案:

没有答案