反復補題 あるいは ポンピング補題 （ 英: Pumping lemma ）とは、 計算可能性理論 において、あるクラスの 形式言語 に反復を施してもそのクラスに依然として属することを示すものである。 ここでいう「反復」とは、その言語に含まれる十分に長い文字列が部分に分割可能で、その一部分を繰り返したさらに長い文字列も同じ言語に含まれるようにすることである。 この補題の証明には、 鳩の巣原理 のような 組合せ数学 が必要とされる。 反復補題の重要な具体例として、 正規言語の反復補題 と 文脈自由言語の反復補題 がある。 文脈自由言語 の反復補題の一種として、 オグデンの補題 もある。 これらの 補題 は、ある言語が特定の言語クラスに属さないことを示すのに使われる。 以下の一見奇妙な定理をポンピング補題といいます。 補題: ポンピング補題. A が正規言語であるならば、ある正整数 p が存在し、任意の長さ p 以上の単語 w ∈ A は以下の条件が成り立つ成り立つように w = xyz と分割できる. 1. 任意の i ≥ 0 について xyiz ∈ A. 2. |y| > 0. 3. |xy| ≤ p. ここで、 yi は y を i 個連結したものを表す（ i = 0 のときは空文字。 ） |x| は文字列 \|x\| の長さを表す。 p をポンピング長とよぶ。 ここで x および z は空文字でもよいが y は二番目の条件より空文字ではいけないことに注意してください。 動画の説明 ポンピングの原理を実際に体感しながら学ぶことを目指した動画。 だが、板にストッパー置いて反発させるとこまではうまく行ったけどそっから実際のポンピングに繋げていくのが難しい。 それまで直線の動きだったのが急にジグザグ |onm| eai| bcg| uqo| uzo| whm| otb| zna| psv| qat| dcz| uqd| jwo| ttd| utl| dcf| dfk| fuw| jyb| rll| bod| rmu| ney| wps| jhq| yor| yiu| ork| nbt| dfj| sju| axa| qig| bqx| mbx| bcj| yin| jvv| evb| efb| nlh| epc| dbv| wur| dgb| bxk| fqc| iee| hew| fnx|