คำถามยอดเยี่ยมและ (ปรกติลึกโดยไม่ได้ตั้งใจ) แน่นอนว่ามีโปรแกรมหยุดการตรวจจับที่สามารถประสบความสำเร็จในชุดอินพุตที่ จำกัด มันเป็นพื้นที่ของการวิจัย มันมีความสัมพันธ์ที่แน่นแฟ้นกับพื้นที่พิสูจน์ทฤษฎีบท (อัตโนมัติ)
อย่างไรก็ตามวิทยาการคอมพิวเตอร์ไม่ปรากฏว่ามีคำที่แน่นอนสำหรับ "โปรแกรม" ที่ "บางครั้ง" สำเร็จ คำว่า "อัลกอริทึม" มักจะถูกสงวนไว้สำหรับโปรแกรมที่มักจะหยุด
แนวคิดนี้ดูเหมือนจะแตกต่างจากอัลกอริธึมที่น่าจะเป็นไปได้อย่างชัดเจนซึ่งนักทฤษฎี CS ยืนยันว่ามีความน่าจะเป็นที่รู้จักหรือคำนวณได้จากการประสบความสำเร็จ
มีsemialgorithmsคำที่บางครั้งใช้ แต่เห็นได้ชัดว่ามันเป็นคำพ้องความหมายสำหรับการนับซ้ำหรือไม่สามารถคำนวณได้
ดังนั้นเพื่อจุดประสงค์ที่นี่เรียกพวกเขาว่าขั้นตอนวิธี แนวคิดนั้นแตกต่างจาก decidable และ undecidable
AXBYX⊂ YXYBA
ใน CS นี้ "ลำดับชั้นขั้นตอนวิธีเสมือน" ดูเหมือนว่าจะมีการศึกษาส่วนใหญ่เท่านั้นอย่างไม่เป็นทางการจนถึง
มันแสดงให้เห็นในการวิจัยช่องคลอดไม่ว่าง [1] และปัญหา PCP [2] ในความเป็นจริงการโจมตีด้วยคอมพิวเตอร์บนดีเอ็นเอ PCP จะถูกมองว่าเป็น quasialgorithm [3] และเห็นในพื้นที่อื่นแล้วสังเกตเห็นเช่นทฤษฎีบทพิสูจน์ [4]
[1] การโจมตีสหัสวรรษใหม่ในปัญหาช่องคลอดที่ยุ่ง
[2] การแก้ปัญหาการติดต่อกับ Zhao (v2?)
[3] การใช้ DNA เพื่อแก้ปัญหาการติดต่อทางไปรษณีย์โดย Kari และคณะ
[4] การพิสูจน์การยกเลิกโปรแกรมโดย Cook et al, Comm ของ ACM
(ดังนั้นนี่เป็นคำถามที่ลึกมากที่สมควรได้รับที่จะอยู่ใน TCS.SE imho ... บางทีอาจมีคนถามคำถามอีกครั้งในแบบที่มันเหมาะกับการอยู่)