ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"

จากวิกิพีเดีย สารานุกรมเสรี
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
EmausBot (คุย | ส่วนร่วม)
Robot: ja:計算可能性理論 is a good article
EmausBot (คุย | ส่วนร่วม)
r2.7.3) (โรบอต แก้ไข: uk:Теорія обчислюваності
บรรทัด 32: บรรทัด 32:
[[simple:Computability theory]]
[[simple:Computability theory]]
[[sk:Teória vypočítateľnosti]]
[[sk:Teória vypočítateľnosti]]
[[uk:Теорія обчислень]]
[[uk:Теорія обчислюваності]]
[[zh:可计算性理论]]
[[zh:可计算性理论]]

รุ่นแก้ไขเมื่อ 02:43, 3 กรกฎาคม 2555

ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้

  • ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
  • ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
  • ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
  • ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?

ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ

แม่แบบ:Link GA