正規言語の反復補題とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 正規言語の反復補題の意味・解説 

正規言語の反復補題

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/02/22 21:34 UTC 版)

正規言語の反復補題: pumping lemma for regular languages)とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。

この反復補題は1961年に Y. Bar-Hillel、M. Perles、E. Shamir によって最初に示された[1]

形式的定義

この FSA は文字列 abcbcd を受理する。この文字列は状態数より多くの文字からなるので、状態を繰り返していることがわかる。この例では q1 と q2 が繰り返される状態である。文字列 abcbcd の部分文字列 bcbc は、状態 q1 から始まって状態 q1 に戻る遷移で形成されるので、この文字列部分はFSAによる繰り返しが可能であり、abcbcbcbcd のような文字列も受理される。また、その遷移のループを通らない文字列 ad も同様に受理される。反復補題に当てはめると、文字列 abcbcd は、xaybczbcd が対応する。もちろん、他の当てはめ方もある(ybcbc を対応させる)が、|xy| ≤ p を満たしていない。

反復補題の不十分性

反復補題は、ある言語が正規言語であるための十分条件ではないことに注意されたい。つまり、正規言語以外でもこの反復補題が成り立つことがある。言語 L について反復補題が成り立たない場合、L が正規言語でないことがわかる。しかし、反復補題が成り立ったとしても、L が必ず正規言語であるとは言えない。例えば、言語 {uuRv : u,v




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「正規言語の反復補題」の関連用語

正規言語の反復補題のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



正規言語の反復補題のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの正規言語の反復補題 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS