オグデンの補題（英: Ogden's lemma）とは、形式言語の理論において、文脈自由言語の反復補題の柔軟性を拡張したものである。具体的には次の通りである。言語 "L" が文脈自由であるとき、ある正の数 "p" が存在し（"p" は反復長とは限らない）、"L" における "p" 以上の長さの任意の文字列 "w" について、"w" 上の "p" 個以上の位置（文字）をマークする全ての組合せを考える。"w" は次のように表される。ここで、"u

出典:wikipedia