Korumalı bu değil (ko-) ardışık enumerable

Yardımınızı aşağıdaki sorunla kullanmak istiyorum:

$L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}$ . Show that .$L \notin RE \cup CoRE$

Ben kanıtlamak için biliyorum , bir dil bulmak için yeterlidir öyle ki ve gelen azalma olduğu gösteri için .$L\notin RE$$L'$$L'\notin RE$$L'$$L$ $(L'\leq _M L)$

Zaten onlar olmadığından biliyoruz dillerin düşünmeye başladım ve bunu biliyorum . den : bu azalmayı düşündüm . her : her giriş için durursa aksi halde , ancak bu doğru değil, değil mi? Her giriş için durduğunu nasıl kontrol edebilirim ? ve- bunu yapmanın yolu mu?$RE$$Halt^* =\{⟨M⟩ ∣ M\mbox{ halts for every input} \} \notin RE$$Halt^*$$L$$f(⟨M⟩)=(M')$$⟨M⟩$$M$$L(M')=0^n1^n$$o^n1^n0^n$$M$

Bence soru, nin yeniden olmadığını nasıl göstereceğidir Bunu yapmanın bir yolu, durma probleminin tamamlayıcısını ye azaltmaktır , çünkü durma sorununun tamamlayıcısı yeniden değildir. $L$$L$

Bu azaltmayı yapmanın bir yolu hakkında bir ipucu: ve verildiğinde , yalnızca durmazsa bağlamdan bağımsız bir dil yapmak istiyoruz . Bu yüzden girişinde benzetimini başlatın . durmadığı sürece gibi görünen bir dil yapıyoruz . Ancak durursa , o noktadan sonra ürettiğimiz dili, bağlamsız bir dil olarak değiştiririz.$M$$x$$M(x)$$M$$x$$M(x)$$\{ 0^n : n \in \mathbb{N}\}$$M(x)$