语言L = {a ^ n b ^ k c ^ m |是吗？ k> = 0，n> m}常规？

Question

我必须使用pummping-lemma来解释该语言：

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

不正常。

有人可以解释一下如何使用这种特定语言吗？

Answer 1

编辑：我在这里犯了2个错误，首先，抽水必须与您使用的单词相关（或者至少在看了很多示例之后看起来如此），其次，如果您找到任何匹配项，则相反，那么您不能将其用作错误的示例。如果我的回答是错误的，我将编辑如何证明它是真的。

pummping引理是关于通过使用矛盾证明不是常规语言，您首先必须假设所提供的字符串对于L是有效的是常规的，然后您必须按照一些规则将此字符串分为3部分：

1. | y | > 0
2. | xy | <= P（P表示单词的最小长度）
语言（L）中包含
3. xn ^ nz，其中n> = 0；

所以让我们举个例子，P是1：

  

如果语言允许，我将不使用任何b。   这意味着我将用L = {a ^ P + 1 c ^ P}来表达我的语言，它包含在L中并且有效，所以可以说aac（这个在L中）

• 除法的唯一方法是（x：a，y：a，z：c）

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

  

| xy |大于P，因为P为1，xy为2

     

xy ^ nz如果我们使用n = 0，那么结果将是ac，这是该语言未包含的内容。