证明$ {⟨M⟩l（m） mbox {是无上下文} } $不是（共同）递归枚举

Question

我想在以下问题上使用您的帮助：

$ l = {⟨M⟩l（m） mbox {是上下文} } $。证明$ l notin re cup core $。

我知道要证明$ l notin re $，足以找到一种语言$ l'$，以便$ l' notin re $并表明从$ l'$减少到$ l $ $（ l' leq _m l）$。

我开始想到我已经知道它们不在$ re $中的语言，而且我知道$ halt^* = {⟨m⟩m mbox {halts {halts for to evertput} } notin re $ $ $。我想到这种减少了从$ halt^*$减少到$ l $：$ f（⟨M⟩）=（m'）$。对于每$⟨m⟩$：如果$ m $ halts对于每个输入$ l（m'）= 0^n1^n $，否则为$ o^n1^n0^n $，但这是不正确的，ISN 't吗？我如何检查每一个输入的$ m $停止？ - 这是这样做的方式吗？

Answer 1

我认为问题是如何证明$ l $不是一种方法是将停止问题的补充减少到$ l $，因为停止问题的补充不是重新

这是关于减少这种减少方法的一种暗示：给定$ m $和$ x $，我们想在且仅当$ m（x）$不停止的情况下，使语言免费。因此，开始模拟输入$ x $上的$ m $。只要$ m（x）$不停止，我们就会制作一种看起来像$ {0^n：n in mathbb {n} } $的语言。但是，如果$ m（x）$停止了，我们将在此之后生成的语言更改为某些重复，但不是上下文的语言。