M이 허용하는 언어가 유한 한 모든 튜링 기계 설명 M으로 구성된 언어 L입니다.이 언어는 결정 가능하고 인식 가능하며 인식 할 수 없습니까?
나는 M이 시작과 수락 상태 사이에 루프가 존재하면 거짓을 반환하고 그렇지 않으면 true를 반환하는 함수 D (M)에서 M을 실행할 수 있기 때문에 L은 결정할 수있는 언어라고 말했다.
나는 무한 루프를 감지하는 어려움을 과소 평가하기 때문에 내가 틀렸다는 느낌이 들었습니다.
지원을 부탁드립니다. 미리 감사드립니다.
이 질문은 너무 오래되어 마이그레이션 할 수 있지만 향후이 문제에 대한 질문은 [cs.stackexchange.com] (http://cs.stackexchange.com/tour)에서 더 좋은 집을 찾을 수 있습니다. –