语言
没有数据
通知
无通知
反復補題あるいはポンピング補題（英: Pumping lemma）とは、計算可能性理論において、あるクラスの形式言語に反復を施してもそのクラスに依然として属することを示すものである。ここでいう「反復」とは、その言語に含まれる十分に長い文字列が部分に分割可能で、その一部分を繰り返したさらに長い文字列
正規言語（せいきげんご）または正則言語（せいそくげんご）は、以下に示す性質（いずれも等価）を満たす形式言語である。 決定性有限オートマトンによって受理可能 非決定性有限オートマトンによって受理可能 正規表現で記述可能 正規文法から生成可能 読みとり専用チューリングマシンで受理可能 文字セット Σ
文脈自由言語の反復補題は、任意の文脈自由言語でない言語が文脈自由でないことを証明するのに使えるわけではない。場合によってはより汎用化されたオグデンの補題を使う必要がある。 任意の文脈自由言語 L に対して，（反復長 (pumping length) と呼ばれる）ある正の整数
の補題、ガウスの補題（英語版）、Greendlingerの補題 （英語版）、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、ウリゾーンの補題（英語版）、米田の補題、ツォルンの補題。 これらの結果は当初はあまりにも簡単であるかまたは個別の
何度も繰り返すこと。
例えば、母親から「晩御飯に何を食べたい?」と訊かれた子が「晩御飯に何を食べたい?」と鸚鵡返しに答えることを即時性反響言語（即時エコラリア）という。これに対し、自閉症の児童がテレビCMの気に入ったフレーズや親からの叱責の言葉などを、時間が経ってからも状況に関わらず繰り返し話すことを遅延性反響言語（遅延エコラリア）という。後者に
隔語句反復（かくごくはんぷく、または首語句反復、首尾同語、反照法、epanalepsis）とは、文・節の先頭の語または語句が、最後で繰り返される修辞技法のこと。最初と最後は、文中で強く強調される2つの場所である。そこに同じ語・語句を置くことで、読み手は特別な注意を払う。入れ子にされた二重の反復は、交錯配列法と呼ばれる。
シュワルツの補題（ドイツ語: Schwarzsche Lemma、英語: Schwarz lemma）は、ドイツの数学者ヘルマン・アマンドゥス・シュワルツにちなむ、複素解析における正則関数の性質に関する定理である。複素関数が正則であるために満たすべき、強い制約条件の1つを端的に示し、リーマンの
搜索 
