하위 언어는 튜링을 인식 할 수 없습니까?

10

A와 B를 A⊆B의 언어로하고 B는 Turing을 인식 할 수 있습니다. A는 튜링을 인식 할 수 없습니까? 그렇다면 어떤 예가 있습니까?

computability

— gfe
소스

18

이것은 많은 학생들을 혼란스럽게하는 것입니다. 여기서 중요한 것은 다른 언어의 하위 집합이된다는 것은 계산의 어려움에 대해 많은 것을 암시하지 않는다는 것입니다. 당신은 항상 사소한 언어 와 고려할 수 있으며 다른 언어는 그들 사이에 포함되어 있습니다. $\emptyset$ $\Sigma^*$

따라서 언어가 계산하기 쉬운 언어에 포함되어 있거나 포함되어 있다는 것을 아는 것만으로는 언어를 계산하는 데 어려움이 없습니다.

— 카베
소스

그러나 튜링을 인식 할 수없는 Σ *의 하위 집합 언어를 찾을 수 없습니다.

— gfe

3

@Wilhelm 걸릴 어떤 튜링 인식 할 수없는 언어를 그것은 작동합니다.

— Kaveh

나는 멈춤 문제를 사용하여 그러한 언어가 있음을 증명할 수있다.

— gfe

@ 빌헬름, 예. :)

— Kaveh

1

튜링 인식 언어 를 결정할 수없는 경우에는 동시 튜어 인식 가능 언어 가 아닙니다 (즉, 를 인식 할 수 없음). 이후 의 완벽하게 유효한 하위 집합 이 지원 사실 그 언어에 대한 $X$ $X^c$ $X^c$ $\Sigma^*$ 튜링 인식이고, 잘되지 않을 수있다. $A \subseteq B$ $B$ $A$

— 샌더
소스

나는 Kaveh의 대답이 더 좋을 것이라고 생각합니다. 모든 언어는

의 하위 집합이며 , 우리는

가 결정 가능하고 임의로 어려운 언어 가 있음을 알고 있습니다.

Σ^{*}

$\Sigma^*$

Σ^{*}

$\Sigma^*$

— Pål GD

즉 나는이 설명하려고 노력 무엇

모든 언어가 될 수 있기 때문에,

자동으로 보유하고 있습니다. ;)

X

$X$

X \subset Σ^{*}

$X \subset \Sigma^*$

— Sander

-3

당신의 토론은 저를 혼란스럽게했습니다 :(

"A는 튜링을 인식 할 수 없습니까?"

A는 항상 Turing을 인식 할 수 있다고 생각 합니다. 여기 내 생각이 있습니다.

B가 Turing Recognizable이기 때문에 => 언어의 모든 단어를 받아들이는 TM이 있습니다 B => (언어 A의 모든 단어를 + 다른 단어로) 받아들이는 TM이 있습니다 => 모든 단어를 받아들이는 TM이 있습니다 언어 A => A의 튜링 인식 가능입니다.

이것이 잘못 되었습니까? A가 TRL이 아닌 동안 B가 TRL 인 경우가있을 수 있습니다. 친절하게 도와주세요

— 봉구
소스

1

그렇습니다, 틀 렸습니다 : 언어를 받아들이는 사람은 그 언어를 제외한 어떤 단어도 받아 들여서는 안됩니다.

— reinierpost

후속 질문을 답변으로 게시하지 마십시오. 의견을 사용하거나 (신뢰할 수 있다고 시스템에 입증 된 후) 새 질문이 크게 다른 경우 (여기서는 해당되지 않음) 새 게시물을 작성하십시오.

— 라파엘

-4

이 경우 A는 튜링을 인식 할 수 없습니다. 이것을 예로 들어 보자.

언어 B는 언어 tr (C)과 tr (A)가 아닌 언어의 결합입니다. B를 인식하는 튜링 기계를 만들 수 있습니다. A는 tr이 아니며 A ⊆ B입니다.

맞습니까? 나는 그것이 ..so .. =)인지 모른다

— 필립
소스

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$