Son bir sorunun cevabını okuyordum ve aklıma garip, geçici bir düşünce geldi. Bunu sormak, teorik pirzolamın ciddi şekilde eksik olduğuna (çoğunlukla doğru) ya da bu siteyi okumak için henüz çok erken olduğuna ihanet edebilir. Şimdi, feragatname yoldan çekilince ...
Hesaplanabilirlik teorisinin, durma probleminin TM'ler için belirlenemediği iyi bilinen bir sonuçtur. Bununla birlikte, bu, belirli makine sınıfları için durma problemini çözebilecek makineler (sadece hepsi değil) olasılığını dışlamaz.
Karar verilebilir tüm problemleri düşünün. Her sorun için, o dile karar veren sonsuz sayıda TM vardır. Aşağıdakiler mümkün olabilir mi
- Turing makinelerinin bir alt kümesi için durdurma problemine karar veren bir TM vardır ; ve
- Tüm karar verilebilir problemler en az bir Turing makinesi tarafından ?
Elbette, Turing makinesini bulmak hesaplanamayabilir; ama biz bu sorunu görmezden geliyoruz.
DÜZENLEME: Shaull'un aşağıdaki cevabına dayanarak, ya (a) bu fikrin anlamlı olamayacak kadar kötü belirtilmiş olduğu ya da (b) önceki girişimimin tam olarak işaretli olmadığı anlaşılıyor. Shaull'un cevabına yapılan yorumlarda ayrıntılandırmaya çalıştığım için niyetim TM girişinin olduğunu garanti etmemiz değil . Ya gerçekten sorumu kast böyle bir orada var olabileceği olup olmadığıdır , böyle üyeliğin bir Karar verilebilen bir sorundur . için durma problemini çözme programı , muhtemelen S'de bulunmadığını kabul ettiği bir girdi verildiğinde kasete "geçersiz girdi" veya başka bir şey yazacaktır.. Bu şekilde formüle ettiğimde, bunun durma problemini çözmemize izin verip vermeyeceğinden veya Rice teoreminin uygulanıp uygulanmayacağından emin değilim (karar verilebilirlik, Rice teoreminin bir dilinin anlamsal bir özelliği midir?)