副语言不是图灵识别的，或者是吗？

10

假设A和B是A⊆B的语言，并且B是图灵可识别的。A不能被图灵识别吗？如果是这样，有什么例子吗？

computability

— gfe
source

18

这使许多学生感到困惑。这里的重点是，作为另一种语言的子集并不能说明它们的计算难度。您始终可以考虑使用琐碎的语言和并且其他任何语言都包含在其中。 $\emptyset$ $\Sigma^*$

因此，仅知道一种语言包含或包含在一种易于计算的语言中并不能说明计算语言的困难。

— 卡韦
source

但是我找不到任何不可图灵识别的Σ∗子集语言。

— gfe 2012年

3

@Wilhelm，采用图灵无法识别的任何语言，它将可以使用。

— 卡韦

我知道了，因此我可以使用暂停问题来证明存在这种语言。

— gfe 2012年

@威廉，是的。:)

— Kaveh'4

1

当图灵机可识别语言是不是可判定的，这意味着它是不共图灵机可识别（换句话说： $X$ $X^c$ 是不可识别）。由于是一个完全有效的子集，这支持了一个事实，语言其中是图灵机可识别，很可能不会。 $X^c$ $\Sigma^*$ $A \subseteq B$ $B$ $A$

— 桑德
source

我认为Kaveh的答案更好，而且更重要。任何语言都是

的子集，我们知道

Σ^{*}

$\Sigma^*$

是可判定的，并且存在任意硬语言。

Σ^{*}

$\Sigma^*$

— PAL GD

这就是我试图解释，因为

可以是任何语言，因为

X

$X$

自动成立。;）

X \subset Σ^{*}

$X \subset \Sigma^*$

— Sander 2014年

-3

您的讨论成功使我困惑:(

“ A不能被图灵识别吗？”

我觉得A总是图灵可识别的。这是我的想法

因为B是Turing可识别的=>有一个TM接受语言B的所有单词=>有一个TM接受（语言A的所有单词+其他单词）=>有一个TM接受所有单词语言A的语言=> A是图灵可识别的。

错了吗可以存在A为非TRL而B为TRL的情况。请帮助

— 邦古比
source

1

是的，这是错误的：一种语言的接受者不得接受该语言以外的任何单词。

— reinierpost 2012年

请不要发布后续问题作为答案。使用注释（在您向系统证明自己是可信赖的之后），或者如果新问题明显不同（在此情况下不是这样），则创建一个新帖子。

— 拉斐尔

-4

在这种情况下，A不能被图灵识别。以此为例：

语言B是语言tr（C）和非语言tr（A）的并集。您可以创建一个识别B的图灵机。A不是tr且A⊆B。

那正确吗？我不知道是否是..so .. =）

— 菲利普·A
source

3

C \in R E

$C\in RE$

A \notin R E

$A\notin RE$

C = \emptyset

$C=\emptyset$

A

$A$

B = A \cup C

$B=A \cup C$