(이*현, 정지 문제) #41
Description
판별기 H가 자기 자신을 포함한 X를 시뮬레이션 할 때 그 과정 자체가 무한한 구조에 빠져 값을 반환하지 못하는 것 이라면 멈추는지 멈추지 않는지 여부를 판단하는 시간이 무한하여 판단할 수 없다고 할 수 있는데 만약 판단 시간이 일정 시간을 초과하면 모름이라고 출력할 수 있도록 허용한다면 H는 정지 문제를 해결할 수 있다고 볼 수 있는지 궁금합니다.
{{ message }}
판별기 H가 자기 자신을 포함한 X를 시뮬레이션 할 때 그 과정 자체가 무한한 구조에 빠져 값을 반환하지 못하는 것 이라면 멈추는지 멈추지 않는지 여부를 판단하는 시간이 무한하여 판단할 수 없다고 할 수 있는데 만약 판단 시간이 일정 시간을 초과하면 모름이라고 출력할 수 있도록 허용한다면 H는 정지 문제를 해결할 수 있다고 볼 수 있는지 궁금합니다.