サブ言語はチューリング認識可能ではありませんか、それとも可能ですか？

10

AとBをA⊆Bの言語とすると、Bはチューリング認識可能です。Aはチューリング認識できませんか？もしそうなら、例はありますか？

computability

— gfe
ソース

18

これは多くの学生を混乱させるものです。ここでのポイントは、別の言語のサブセットであることは、計算の難しさをあまり意味しないということです。いつでも些細な言語とを考慮することができ、その他の言語はそれらの間にセットの包含を含みます。 $\emptyset$ $\Sigma^*$

したがって、言語が計算しやすい言語を含んでいるか、または含まれていることを知っているだけでは、その言語の計算の難しさについては何も言われません。

— カヴェ
ソース

しかし、Turing-recognizableでないΣ*のサブセット言語を見つけることができません。

— gfe 2012

3

@Wilhelm、チューリング認識できない任意の言語を取り、それは動作します。

— カヴェ

なるほど、そのような言語があることを証明するために停止問題を使用できます。

— gfe 2012

@ヴィルヘルム、はい。:)

— カヴェ

1

$X$ $X^c$ $X^c$ $\Sigma^*$ $A \subseteq B$ $B$ $A$

— サンダー
ソース

Σ^{*}

$\Sigma^*$

Σ^{*}

$\Sigma^*$

X

$X$

X \subset Σ^{*}

$X \subset \Sigma^*$

-3

あなたの議論は私をうまく混乱させました:(

「Aはチューリング認識できませんか？」

Aは常にチューリング認識可能だと思います。これが私の考えです

Bはチューリング認識可能であるため=>言語のすべての単語を受け入れるTMがありますB =>受け入れるTMがあります（言語Aのすべての単語+その他の単語）=>すべての単語を受け入れるTMがあります言語A => Aはチューリング認識可能です。

これは間違っていますか？Aが非TRLで、BがTRLであるケースはありますか？親切に助けて

— ボンブジ
ソース

1

はい、それは間違っています：言語の受け入れ者は、その言語以外の単語を受け入れてはなりません。

— reinierpost

回答としてフォローアップの質問を投稿しないでください。コメントを使用する（システムに信頼できることが証明された後）か、新しい質問が大幅に異なる場合（ここでは該当しません）、新しい投稿を作成します。

— ラファエル

-4

この場合、Aはチューリング認識できません。これを例にとります：

言語Bは、言語tr（C）と言語tr（A）ではない言語の和集合です。Bを認識するチューリングマシンを作成できます。Aはtrではなく、A⊆Bです。

そうですか？私はそれが..so ..であるかどうかわからない=）

— フィリップA.
ソース

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$