的用于判断一个语言是否为正则语言的方法，可以参见迈希尔－尼罗德定理。一般来说证明一个语言是正则的，可以通过对该语言构造一个有限状态机或正则表达式来实现。
上下文无关语言的泵引理.
定义.若 "L" 是上下文无关语言，则存在一常数 "n" > 0 使得语言 "L" 中每个字串 "w" 的长度 |"w"| ≧ "n"，而当 "w" = "uvxyz" 时：
应用.透过泵引理以反证法证明 "L" 不是上下文无关语言。