证明的补

我想证明使用闭包属性来对的补码不是常规的。$\{0^n1^n \mid n \geq{} 0\}$

我了解泵引理可以用来证明不是常规语言。我也了解常规语言在补码操作下是封闭的。但是，这是否还暗示着非常规语言的补语也是非常规的？$\{0^n1^n \mid n \geq{} 0\}$

是。由于常规语言的补语也是常规语言，因此可以得出结论，非常规语言的补语也必须是非常规的。严格来说，这是有效的，因为补码是其自身的逆。