日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當前位置: 首頁 > 编程资源 > 编程问答 >内容正文

编程问答

【计算理论】计算理论总结 ( 泵引理 Pumping 证明 ) ★★

發(fā)布時間:2025/6/17 编程问答 30 豆豆
生活随笔 收集整理的這篇文章主要介紹了 【计算理论】计算理论总结 ( 泵引理 Pumping 证明 ) ★★ 小編覺得挺不錯的,現(xiàn)在分享給大家,幫大家做個參考.

文章目錄

  • 一、泵引理 ( Pumping )
  • 二、泵引理證明示例 1
  • 三、泵引理證明示例 2
  • 四、泵引理證明示例 3


參考博客 : 【計算理論】Pumping 引理 ( 四個等價概念 | 自動機界限 | Pumping 引理簡介 | Pumping 引理證明正則表達式 | Pumping 引理示例分析 )





一、泵引理 ( Pumping )



正則語言 是 正則表達式 表達的語言 ;

正則表達式 是 原子字符 , 或 原子字符進行遞歸 并運算 ∪\cup , 串聯(lián)運算 °\circ° , 星運算 ?*? 形成的字符串組成的語言 ;

正則表達式 等價于 確定性有限自動機 等價于 非確定性有限自動機 ;


使用泵引理可以判定一個語言是否是正則語言 ;


泵引理 :

① 正則語言 : A\rm AA 是正則語言 ;

② 數(shù)字 : 存在數(shù)字 p\rm pp , 這個 p\rm pp 叫做 泵長度 ;

③ 字符串 : s\rm ssA\rm AA 語言中的子字符串 , 其長度大于等于 p\rm pp ; ( 字符串兩個要求 )

④ 字符串分組及要求 : 所有的子字符串 s\rm ss 可以分為三個部分 , s=xyz\rm s = xyzs=xyz , 滿足如下要求 :

  • xyiz∈A(i≥0)\rm xy^iz \in A \quad ( i \geq 0 )xyizA(i0) : i\rm ii 表示中間的 y\rm yy 的重復(fù)次數(shù) ;
  • ∣y∣>0\rm |y| > 0y>0 : y\rm yy 是中間重復(fù)的部分 , 星計算部分 ;
  • ∣xy∣≤p\rm |xy| \leq pxyp

使用泵引理證明某語言是正則語言步驟 : 使用 反正法 進行證明 ;

① 提出假設(shè) : 首先假設(shè)該語言是正則的 ;

② Pumping 引理常數(shù)提出 : 存在一個常數(shù) p\rm pp , 所有長度至少為 p\rm pp 的任何字符串 , 都滿足 Pumping 引理 的三個性質(zhì) ;

③ 找出矛盾 假設(shè)不成立 : 如果不滿足 Pumping 引理 , 說明上面假設(shè)該語言是正則語言 是不成立的 , 該語言不是正則語言 ;





二、泵引理證明示例 1



證明 : {0n1n:n≥0}\{ 0^n 1^n : n \geq 0 \}{0n1n:n0} 語言 不是正則語言 ;


1. 提出假設(shè) : 假設(shè) {0n1n:n≥0}\{ 0^n 1^n : n \geq 0 \}{0n1n:n0} 語言 是正則語言 ;

2. 泵長度 : 存在一個泵長度 p\rm pp , 只要是 長度至少為 p\rm pp 的子字符串 s\rm ss , 都 滿足 Pumping 引理 的三個性質(zhì) ; s\rm ss 字符串可以分為三個部分 , s=xyz\rm s = xyzs=xyz , 滿足如下要求 :

  • xyiz∈A(i≥0)\rm xy^iz \in A \quad ( i \geq 0 )xyizA(i0) : i\rm ii 表示中間的 y\rm yy 的重復(fù)次數(shù) ;
  • ∣y∣>0\rm |y| > 0y>0 : y\rm yy 是中間重復(fù)的部分 , 星計算部分 ;
  • ∣xy∣≤p\rm |xy| \leq pxyp

3. 找出矛盾 : 找出一個 長度至少為 p\rm pp 的子字符串 s\rm ss , 不符合泵引理要求 , 這里就出現(xiàn)了矛盾 , 假設(shè)不成立 ;

選擇字符串 s=0p1p\rm s = 0^p 1^ps=0p1p , 該字符串有 p\rm pp0\rm 00p\rm pp111 字符組成 ;

yyy 出現(xiàn)三種情況 : yyy 全部由 000 組成 , yyy 全部由 111 組成 , yyy 全部由 0,10,10,1 組成 ;


yyy 全部由 000 組成 情況分析 :

假設(shè) : 假設(shè) yyy 全部由 000 組成 , 其不停的重復(fù) , 得到的新字符串 , 仍然屬于 AAA 語言 ;

yyy 重復(fù)后不符合要求 : i\rm ii 是任意值 , 但是 000 重復(fù)若干次之后 , 如 重復(fù)次數(shù)i=p+1\rm i = p + 1i=p+1 , 000 的個數(shù)就大于 111 的個數(shù)了 , 此時不符合 s=0p1ps = 0^p 1^ps=0p1p 要求了 , 因此這種情況不成立 ;


yyy 全部由 111 組成 情況分析 :

假設(shè) : 假設(shè) yyy 全部由 111 組成 , 其不停的重復(fù) , 得到的新字符串 , 仍然屬于 AAA 語言 ;

yyy 重復(fù)后不符合要求 : i\rm ii 是任意值 , 但是 111 重復(fù)若干次之后 , 如 重復(fù)次數(shù)i=p+1\rm i = p + 1i=p+1 , 111 的個數(shù)就大于 000 的個數(shù)了 , 此時不符合 s=0p1ps = 0^p 1^ps=0p1p 要求了 , 因此這種情況不成立 ;


yyy 全部由 0,10,10,1 組成 情況分析 :

假設(shè) : 假設(shè) yyy 全部由 0,10,10,1 組成 , 其不停的重復(fù) , 得到的新字符串 , 仍然屬于 AAA 語言 ;

yyy 重復(fù)后不符合要求 : i\rm ii 是任意值 , 但是 0,10,10,1 重復(fù)若干次之后 , 如 重復(fù)次數(shù)i=p+1\rm i = p + 1i=p+1 , 就會打亂 s=0p1ps = 0^p 1^ps=0p1p 字符串中 0,10,10,1 的相互順序 , 其中 0,10,10,1 不能存在交叉 , 因此這種情況不成立 ;


經(jīng)過上述討論 , yyy 的三種情況都不符合 Pumping 引理 , 因此 {0n1n:n≥0}\{ 0^n 1^n : n \geq 0 \}{0n1n:n0} 語言不是正則語言 ;





三、泵引理證明示例 2



證明 : {0n1n2n:n≥0}\{ 0^n 1^n2^n : n \geq 0 \}{0n1n2n:n0} 語言 不是正則語言 ;


1. 提出假設(shè) : 假設(shè) {0n1n2n:n≥0}\{ 0^n 1^n2^n : n \geq 0 \}{0n1n2n:n0} 語言 是正則語言 ;

2. 泵長度 : 存在一個泵長度 p\rm pp , 只要是 長度至少為 p\rm pp 的子字符串 s\rm ss , 都 滿足 Pumping 引理 的三個性質(zhì) ; s\rm ss 字符串可以分為三個部分 , s=xyz\rm s = xyzs=xyz , 滿足如下要求 :

  • xyiz∈A(i≥0)\rm xy^iz \in A \quad ( i \geq 0 )xyizA(i0) : i\rm ii 表示中間的 y\rm yy 的重復(fù)次數(shù) ;
  • ∣y∣>0\rm |y| > 0y>0 : y\rm yy 是中間重復(fù)的部分 , 星計算部分 ;
  • ∣xy∣≤p\rm |xy| \leq pxyp

3. 找出矛盾 : 找出一個 長度至少為 p\rm pp 的子字符串 s\rm ss , 不符合泵引理要求 , 這里就出現(xiàn)了矛盾 , 假設(shè)不成立 ;

選擇字符串 s=0p1p2p\rm s = 0^p 1^p2^ps=0p1p2p , 該字符串有 p\rm pp0\rm 00 , p\rm pp111 , p\rm pp222 字符組成 ;

yyy 出現(xiàn)三種情況 : yyy 全部由 000 組成 , yyy 全部由 111 組成, yyy 全部由 222 組成 , yyy 全部由 0,1,20,1,20,1,2 組成, yyy 全部由 0,10,10,1 組成 , yyy 全部由 1,21,21,2 組成 ;

如果字符串僅有 0,1,20, 1, 20,1,2 單個字符 , 重復(fù)任意 i\rm ii 次后 , 不能保證三個字符數(shù)量相等 , 矛盾 ;

如果字符串由多個字符組成 , 一旦重復(fù)之后 , 次序就被打亂 , 無法保證三個字符次序 , 也是矛盾 ;





四、泵引理證明示例 3



證明 : {www∣w∈{a,b}?}\rm \{ www | w \in \{a, b\}^* \}{wwww{a,b}?} 語言 不是正則語言 ;


{a,b}?\rm \{a, b\}^*{a,b}? 中的星運算 ?*?{a,b}\rm \{a, b\}{a,b} 中的有限個字符串串聯(lián)在一起 , 將若干個 a\rm aa 與若干個 b\rm bb 以任意先后順序任意交錯順序進行排列 ; a,b\rm a, ba,b 組成的任意字符串都屬于上述語言 ;


1. 提出假設(shè) : 假設(shè) {www∣w∈{a,b}?}\rm \{ www | w \in \{a, b\}^* \}{wwww{a,b}?} 語言 是正則語言 ;

2. 泵長度 : 存在一個泵長度 p\rm pp , 只要是 長度至少為 p\rm pp 的子字符串 s\rm ss , 都 滿足 Pumping 引理 的三個性質(zhì) ; s\rm ss 字符串可以分為三個部分 , s=xyz\rm s = xyzs=xyz , 滿足如下要求 :

  • xyiz∈A(i≥0)\rm xy^iz \in A \quad ( i \geq 0 )xyizA(i0) : i\rm ii 表示中間的 y\rm yy 的重復(fù)次數(shù) ;
  • ∣y∣>0\rm |y| > 0y>0 : y\rm yy 是中間重復(fù)的部分 , 星計算部分 ;
  • ∣xy∣≤p\rm |xy| \leq pxyp

3. 找出矛盾 : 找出一個 長度至少為 p\rm pp 的子字符串 s\rm ss , 不符合泵引理要求 , 這里就出現(xiàn)了矛盾 , 假設(shè)不成立 ;

選擇字符串 s=apbp\rm s = a^p b^ps=apbp , 該字符串有 p\rm ppa\rm aa , p\rm ppb\rm bb 字符組成 ;

yyy 出現(xiàn)三種情況 : y\rm yy 全部由 a\rm aa 組成 , y\rm yy 全部由 b\rm bb 組成, y\rm yyab\rm abab 組成 ;

如果字符串僅有 a,b\rm a,ba,b 單個字符 , 重復(fù)任意 i\rm ii 次后 , 不能保證兩個字符數(shù)量相等 , 矛盾 ;

如果字符串由多個字符組成 , 一旦重復(fù)之后 , 次序就被打亂 , 無法保證兩個個字符次序 , 也是矛盾 ;

總結(jié)

以上是生活随笔為你收集整理的【计算理论】计算理论总结 ( 泵引理 Pumping 证明 ) ★★的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯,歡迎將生活随笔推薦給好友。