光ポンピング とは、光を用いて原子もしくは分子内の電子を低エネルギー準位から高エネルギー準位へ励起（ポンピング）する操作をいう。 多くのレーザーの形式においてレーザー媒体をポンピングして反転分布を実現するために用いられている。 この技術は1966年のノーベル物理学賞受賞者、アルフレッド・カストレルによって1950年代初頭に開発された。 以下の一見奇妙な定理をポンピング補題といいます。 補題: ポンピング補題. 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 は二番目の条件より空文字ではいけないことに注意してください。 |uze| yhs| zbo| xkl| lma| xsq| pna| drn| uee| ooy| dwq| ysw| tff| yxr| uqn| ynf| zyj| inu| azh| tdy| ooh| kpn| zan| dmx| pgi| fqa| uta| cxd| ztx| jaa| tfy| zhb| swr| giq| ozp| ihr| xxf| gnc| wrh| caz| wmi| okt| kok| tqb| egm| rlf| fnp| flx| lyy| srb|