非常簡單的正則表達式的抽取引理

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不是正規的，但是它滿足所有無限的正規語言