假设平衡大括号语言是一个常规语言。由于它是无限的，我们可以使用抽运引理，修改后为了我们邪恶的目的。假设平衡括号语言是正则的。检查证明的引理，我们可以采用分解w=xyz，其中y包含在任何子字大小大于等于k的w，其中k是a中的状态数有限状态自动机识别平衡括号语言。（证明泵引理的这个变体留给读者练习).
这对我们来说已经足够了。考虑一下由k个左大括号和k个右大括号组成的单词w：“（（…））”。将我们修改的泵浦引理应用于w的前k个字母，我们看到w=xyz，其中x，y只包含左大括号。然后我们知道xy^2z也在该语言中，这显然是不可能的——它包含的左大括号多于右大括号！
也有可能证明这一点事实使用Myhill/Nerode定理; 请参阅平衡括号语言不是正则的Myhill定理证明.