鄂登引理 在形式语言理论中Ogden引理提供了在上下文无关语言的泵引理上灵活性的扩展 Ogden 引理声称如果语言 L 是上下文无关的则存在某个数 p   这里的 p 可以是也可以不是抽吸长度使得对于 L 中任何长度至少 p 字符串 w和标记 p 或更多个 w 中的位置的所有方式w 可以被写为 w  uvxyz 带有字符串 u v x y 和 z使得 vy 有至少一个标记了的位置vxy 有最多 p 个标记了的位置而 u v i x y i z displaystyle uvixyiz 在 L 中对于所有 i   displaystyle igeq   Ogden 引理可以在上下文无关语言的泵引理不充分的情况下被用来证明特定语言不是上下文无关的一个例子是语言  a i b j c k d l  i     或     j  k  l  displaystyle aibjckdli text或  jkl  观察到在所有位置都被标记了的时候这个引理等价于上下文无关语言的泵引理