有一个直接的证明方法:如果p
是抽水长度,我们取字符串,那么无论分解是什么,字符串都将等于语言中不存在的字符串。s = 0p1p+p!
s = xyz
xy1+p!/|y|z
0p+p!1p+p!
我不明白这里给出的 y 值。
有一个直接的证明方法:如果p
是抽水长度,我们取字符串,那么无论分解是什么,字符串都将等于语言中不存在的字符串。s = 0p1p+p!
s = xyz
xy1+p!/|y|z
0p+p!1p+p!
我不明白这里给出的 y 值。
y
是一些可以“泵送”的子字符串 - 重复 * 次 - 并且仍然保持语言正常。基本上,我们必须在某处找到一个循环,而那个循环就是y
代表。
基本上,如果语言的形式是(零后接一),那么那里就不可能有循环。0m1m!
m
m!
在这种情况下,y
表示“子集语言的假设泵字符串” - 假设,因为它不存在!显然,对于这种较小的语言来说,不可能有任何刺激,因为重复会使我们立即脱离这种语言。(考虑这个例子——我们可以为此找到一个泵字符串吗?)因此,我们有一个不规则的语言的特殊情况,因此该语言通常是不规则的。(虽然它肯定包含有规律的特殊情况,但这没有争议){0m1m!}
00111111