이 언어가 알고 있니?

Question

제목이 말한 것처럼

; 이 언어가 아플므로 어떻게 그것을 증명합니까?

$$ l={\ langle m \ rangle \ mid m \ text {튜리 머신은} m \ text {halts on}}}$$

Answer 1

언어가 아직 없음이 아닙니다. $ l $ 을 결정한 튜핑 기계 $ T $ 찌르는 기계의 존재를 멈추는 문제를 해결하는 것을 의미합니다.

실제로 $ m $ 수학 용기 "> $ x $ 튜리를 구축 할 수 있습니다. 컴퓨터 $ m '$ 은 입력을 무시하고 테이프에 $ x $ 을 씁니다. SPAN 클래스="수학 용기"> $ M $ . 명확하게 $ m '$ $ m $ 의 입력에서 중지 된 경우에만 입력하십시오. $ x $ . $ m '\ $ m'\ \ span>을 확인하여 멈춤 여부를 결정할 수 있습니다. class="수학 용기"> $ T $ 입력 $ m '$