1
Turing Decidable Problemleri Sınıfı için Tam Bir Sorun Var mı?
Gibi diller olan RE tamamlama birçok kimse indirimleri altında. Co-RE'nin de tam sorunları olduğunu görmek önemsizdir . S. Schmitz [1], ELEM ve REC arasındaki bazı sınıfları dikkate almaktadır . Bu sınıflar için özel hazırlanmış indirimler altında tam problemler ortaya koyarlar.DURTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} İçin komple sorun var mı (diğer adıyla KAYIT ) göreli …