ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
intro, interwiki |
|||
บรรทัด 1: | บรรทัด 1: | ||
'''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาตัดสิน|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ---ในความหมายที่เหมือนกัน---โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้ |
'''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาการตัดสินใจ|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ---ในความหมายที่เหมือนกัน---โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้ |
||
* ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้? |
* ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้? |
||
* ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง? |
* ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง? |
รุ่นแก้ไขเมื่อ 01:57, 13 มีนาคม 2548
ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ---ในความหมายที่เหมือนกัน---โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
- ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
- ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
- ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
- ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ