의 보수를 증명

의 보수가 클로저 속성을 사용하여 규칙적이지 않다는 것을 증명하고 싶습니다 .$\{0^n1^n \mid n \geq{} 0\}$

펌핑 lemma를 사용하여 이 일반 언어가 아님 을 증명할 수 있습니다 . 또한 정규 언어가 보완 작업으로 닫혀 있음을 이해합니다. 그러나 이것이 비정규 언어의 보완이 비정규임을 의미 하는가?$\{0^n1^n \mid n \geq{} 0\}$

예. 정규 언어의 보완도 정규 언어이기 때문에 비정규 언어의 보완도 비정규이어야합니다. 엄밀히 말하면, 보완은 자체 역수이기 때문에 작동합니다.