所以我有一个抽水引理问题A{www|w ∈ {a,b}*}
我有正确的答案，但我不完全确定它是如何工作的。我会给出答案，让人们知道我要去的地方
假设A是REG
设p是抽水长度
x ∈ A, x=a^p b, a^p b, a^p b .... |s|=3p+3
每个a^p b都是w
让s = xyz分裂，这样
1）sum of i>=0 s'=xy'z ∈ A
2）|x|>0，3）|xy| <=p
由（3）y仅包含a和（2）y包含至少1 a。
设s'= xyyz，然后s=a^+ ba^p ba^p b，
1）s'∈A，因为它包含矛盾t> p 即。不是REG的元素
答案 0 :(得分：0)
我认为您可以在cs.stackexchange上获得更好的答案，但这里是基本概述：
抽象引理（对于常规语言;对于上下文无关语言来说更复杂）是关于常规语言的结果，如果L是常规语言，那么就会出现这种情况。整数p使得L中至少与p一样长的每个字可以被分成三个部分x，y和z，使得xz∈L，xyz∈L，xyyz∈L，xyyyz∈L等＆＃34; （还有一些细节，比如y的长度至少为1，xy的长度是＆lt; = p，所以请检查维基百科的正式声明）＆＃34; p＆＃34;通常被称为＆＃34;抽水长度＆＃34;语言。
这个结果通常被用来证明一种语言不规则 - 这些证明的工作原理如下：
如果L是常规的，那么泵浦引理中的泵浦长度为p。
构造一个字符串，该字符串的长度超过该语言中的p个字母。通常这个字符串最终比p字母长得多，但是在开头会有一些p字母长的部分，以便下一步更容易。
显示当你＆＃34;泵＆＃34;这个字符串（也就是说，当你重复部分＆＃34; y＆＃34;多次）你得到的语言不是L语言。
因此，泵浦引理并不适用于L，所以L不规则。
请注意，您无法向后使用此功能来证明某种语言是正常的！你只能用它来证明一种语言不是常规的，偶尔也可以用它来证明常规语言包含某些类型的字符串。
示例证明遵循该格式。这是另一个证据，取自最近的stackoverflow问题：
L = {w ∈ {0,1}* | w has an odd length and the middle character is 0}
现在，证明L不是常规的：
如果L是常规的，它将具有泵送长度p。
考虑字符串s =＆＃39; 1＆＃39; * p +＆＃39; 0＆＃39; +＆＃39; 1＆＃39; * p - 该字符串为L且长于p个字符。因此，通过泵浦引理s可以分为三个部分x，y，z，使得| xy |＆lt; = p，| y |＆gt; 0，并且像xyyyz这样的字符串在L中。
但是由于s是如何构建的，我们知道y部分只包含＆＃39; 1＆＃39;字符串，字符串xyyyz只有一个＆＃39; 0＆＃39;性格，它有更多＆＃39; 1＆＃39; ＆＃39; 0＆＃39;左边的字符而不是右边，所以xyyyz不在L。
因此，L不规律。