0
I는 다음과 같습니다 튜링 기계 속성이 상상? 또는 더 일반적으로 이런 종류의 것을 증명할 수있는 좋은 방법이 있습니까?어떻게 튜링 기계의 속성은 간단하다 증명하기 위해
I는 다음과 같습니다 튜링 기계 속성이 상상? 또는 더 일반적으로 이런 종류의 것을 증명할 수있는 좋은 방법이 있습니까?어떻게 튜링 기계의 속성은 간단하다 증명하기 위해
힌트 : "이상한"사본과 "짝수"사본 인 상태의 사본을 2 개 만들고, 전환시에 앞뒤로 전환하여 TM을 항상 홀수 개의 단계 내에서 정지시킬 수 있습니다. 나오다. 일단이 작업을 마쳤 으면 짝수 단계로 중단되지 않도록이 기계를 어떻게 수정 하시겠습니까? 이 구조가 임의의 TM에 대해 작동한다고 가정 할 때 위의 특성이 왜 사소한 지 알 수 있습니까?
희망이 도움이됩니다.
좋은 질문이지만 [so]에 대한 프로그래밍 질문이 아닙니다. 아마도 [cs.se]에 대해 더 잘 질문 할 것입니다. –