非常简单的正则表达式的抽取引理

Question

抽引引理定义（来自Wiki）

令L为常规语言。 然后，存在一个仅依赖于L的整数p≥1，从而长度L中长度至少为p的每个字符串w（p称为“泵送长度” [4]）可以写成w = xyz（即w可以是分为三个子字符串），满足以下条件：

| y | ≥1; | xy | 对于所有i≥0，≤p，xyiz∈L

假设我要测试正则表达式011，因为它是正则表达式m，所以至少有长度w满足w = xyz的字符串w

这个自动机的数目是3，p应该> = 3，但是只有接受该自动机的字符串是011，所以我选择011，因为w可以分解3个部分011 = xyz，但是如何分解？ 我不能满足| y | ≥1; | xy | 对于所有i≥0，≤p，xyiz∈L

由于只接受011我如何泵送？ 我哪里错了

Answer 1

p是4.然后有没有串w的长度L的至少P，这样的形式“每列W的长度L的至少P [...]”将是任何声明空洞地真实 。 因此，满足了抽奖引理。

Answer 2

抽动引理通常适用于无限规则语言。 并不用来证明L是正规的用来证明L不是正规的，但是它满足所有无限的正规语言