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

ไม่มีการเปลี่ยนแปลงขนาด ,  17 ปีที่แล้ว
ไม่มีคำอธิบายอย่างย่อ
ไม่มีความย่อการแก้ไข
ไม่มีความย่อการแก้ไข
{{โครง}}
'''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาการตัดสินใจ|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ—ในความหมายที่เหมือนกัน—โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
* ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
* ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
* ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
 
ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับ[[ทฤษฎีการคำนวณ]]
 
[[Category:ทฤษฎีการคำนวณ]]
{{โครง}}
 
[[cs:Teorie vyčíslitelnosti]]
[[fr:Théorie de la calculabilité]]
[[ja:計算可能性理論]]
 
[[Category:ทฤษฎีการคำนวณ]]
14,385

การแก้ไข