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