ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล r2.7.3) (โรบอต แก้ไข: uk:Теорія обчислюваності |
ล r2.7.2) (โรบอต แก้ไข: pt:Teoria da computabilidade |
||
บรรทัด 27: | บรรทัด 27: | ||
[[ko:계산 가능성 이론]] |
[[ko:계산 가능성 이론]] |
||
[[pl:Teoria obliczalności]] |
[[pl:Teoria obliczalności]] |
||
[[pt:Teoria da |
[[pt:Teoria da computabilidade]] |
||
[[ru:Теория вычислимости]] |
[[ru:Теория вычислимости]] |
||
[[sh:Teorija izračunljivosti (računarstvo)]] |
[[sh:Teorija izračunljivosti (računarstvo)]] |
รุ่นแก้ไขเมื่อ 00:07, 16 กรกฎาคม 2555
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |
ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
- ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
- ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
- ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
- ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ