是语言 L ={a^n b^k c^m | k>=0, n>m}正则?

Is the language L ={a^n b^k c^m | k>=0, n>m} regular?

我必须使用语言的 pummping-lemma 来解释:

L ={a^n b^k c^m | k>=0, n>m}

不规则。

有人可以解释一下在这种特定语言上是如何完成的吗?

编辑:我在这里犯了 2 个错误,首先抽水必须与你使用的词有关(或者至少在看了很多例子之后看起来是这样),其次,如果你发现任何匹配得很好,那么你就不能把它当作一个错误的例子。如果我的回答是错误的,我将编辑如何真正证明它。

pumping lemma是关于通过反证法证明that不是正则语言,你首先要假设你提供的一个字符串必须对L有效是正则的,然后你必须把这个字符串分成3个部分如下一些规则:

  1. |是| > 0
  2. |xy| <= P(P代表单词的最小长度)
  3. xy^nz with n>=0 包含在语言 (L)

所以让我们以 P 为 1 为例:

For using this one i ll not use any b's provided the language allows it. What this means is i ll have my language expressed this way L = { a^P+1 c^P } which is included in L and is valid so lets say aac (this one is in L)

  • 唯一的划分方法是 (x:a,y:a,z:c)

考虑到这一点,您可以使用 3 个语句中的 2 个来证明不规则

|xy| is greater than P because P is 1 and xy is 2

xy^nz if we use n = 0, then the result would be ac which is not included in the language.