1
Apakah Ada Masalah Lengkap untuk Kelas Masalah Turing yang Dapat Diputuskan?
Bahasa seperti adalah bawah banyak-satu reduksi. Sangat sepele untuk melihat bahwa memiliki masalah. S. Schmitz [1] mempertimbangkan beberapa kelas antara dan . Mereka menghadirkan masalah lengkap untuk kelas-kelas ini di bawah pengurangan yang dibuat khusus.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Apakah ada masalah lengkap untuk (alias ) relatif terhadap pengurangan yang lebih lemah? Pengurangan Turing …