文脈自由言語の反復補題
文脈自由言語の反復補題（ぶんみゃくじゆうげんごのはんぷくほだい、）は、全ての文脈自由言語が持つ属性を与える反復補題である。Bar-Hillelの補題や、uvwxy定理とも呼ばれる。その主たる用法は、ある言語が文脈自由言語でないことを証明することである。

文脈自由言語の反復補題は、任意の文脈自由言語でない言語が文脈自由でないことを証明するのに使えるわけではない。場合によってはより汎用化されたオグデンの補題を使う必要がある。
Q729271
文脈自由言語
Concept
Q1059648
反復補題
Concept
Q729271
文脈自由言語
Concept
Q729271
文脈自由言語
Concept
Q1855893
オグデンの補題
ORG
Q2596624
文脈自由言語の反復補題
Concept
Q2596624
文脈自由言語の反復補題
Concept
instance of
instance of