引理.
定义.若 "L" 是上下文无关语言，则存在一常数 "n" > 0 使得语言 "L" 中每个字串 "w" 的长度 |"w"| ≧ "n"，而当 "w" = "uvxyz" 时：
应用.透过泵引理以反证法证明 "L" 不是上下文无关语言。