튜링 머신

다음 언어가 언어 인 방법이 궁금합니다 $\mathrm R$ .

$L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\}$

( 이 객관식 질문에 대한 답변이 있지만 설명이 없기 때문에 에 있음을 알고 있습니다.) $\mathrm R$

나는 즉시 생각 는 즉시이다 : 우리는이 기계가 같은 언어가 정말 decidable하지 받아 들인다면, 나는 생각했다 확인하는 것을 알고 있기 때문에이 "거짓"이지만 동일한 답변을 수락하고 다른 코딩을 가진 많은 튜링 머신이 있기 때문에 불가능합니다. $L_{M_1} \notin \textrm{co-RE} \cup \textrm{RE}$

감사!

computability undecidability

— 조제프
소스

$L_{M_1}$ 에 주어진 시스템 설명보다 작은 기계 설명의 수는 유한하고 유한 한 언어에 간단하기 때문에 . $R$ $R$

— 데이브 클라크
소스

중요한 참고 사항 : 언어

을 결정할 수 있지만 실제로이 언어의 결정자를 찾는 함수

은 계산할 수 없습니다. 아마 이것이 결과가 초기에 직관적이지 않은 이유라고 생각합니다.

L_{M_{1}}

$L_{M_1}$

f (M) = L_{M}

$f(M) = L_M$

— templatetypedef