这种语言有规律吗？ {0 ^ n 1 ^ m | m！= n}，我不了解抽水长度的直接证据

Question

有一种证明它的直接方法：如果p是抽水长度，我们取字符串s = 0p1p+p!，那么无论分解s = xyz是什么，字符串{{1} }}将等于xy1+p!/|y|z，而不是语言。

我不明白这里给出的价值。

Answer 1

y是一些子串，可以＆＃34;抽取＆＃34; - 重复*次 - 并保持语言规律。基本上，我们必须在某处找到一个循环，并且该循环是y所代表的。

基本上，如果语言的格式为0m1m!（m零后跟m!个），那么就不会有循环。

在这种情况下，y表示＆＃34;子集语言{0m1m!}＆＃34;的假设泵字符串。 - 假设因为它不存在！显然，对于这种较小的语言来说，没有可能的抽水，因为重复将立即使我们脱离语言。 （考虑示例00111111 - 我们能为此找到一个泵字符串吗？）因此，我们有一个特殊的语言不常规的情况，因此语言通常不规则。 （虽然它肯定包含常规的特殊情况，但这没有争议）