1
튜링 결정 가능한 문제의 클래스에 대한 완전한 문제가 있습니까?
같은 언어 있습니다 많은 하나의 감소에 따라. 에도 완전한 문제가 있음을 아는 것은 쉽지 않습니다. S. Schmitz [1] 은 과 사이의 일부 클래스를 고려 합니다. 그들은 특별히 만들어진 축소에서이 수업에 대한 완전한 문제를 제시합니다.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} 약한 감소와 관련하여 (일명 )에 대한 완전한 문제가 있습니까? 튜링 감소는 모든 작업을 수행 할 수 …