Kanıtlamak için

Kanıtlamak isterim ki , kapatma özellikleri kullanılarak normal değildir.$\{0^n1^n \mid n \geq{} 0\}$

Pompalama lemmasının normal bir dil değildir. Ayrıca tamamlayıcı işlem altında normal dillerin kapalı olduğunu anlıyorum. Ancak bu, normal olmayan bir dilin tamamlayıcısının da normal olmadığı anlamına mı geliyor?$\{0^n1^n \mid n \geq{} 0\}$

Evet. Normal bir dilin tamamlayıcısı da normal bir dil olduğundan, normal olmayan bir dilin tamamlayıcısının da normal olmaması gerekir. Açıkçası, bu tamamlayıcı kendi tersi olduğu için çalışır.