ผลต่างระหว่างรุ่นของ "พูดคุย:ปัญหาการยุติการทำงาน"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล ping at the right place |
ล another attempt |
||
บรรทัด 80:
กล่าวคือ คำถามที่คุณถามเกี่ยวกับ <code>check_result</code> จริง ๆ แล้วแทบจะเป็นคำถามเดียวกันกับ คำถามก่อนหน้าเกี่ยวกับ <code>trouble</code> ไม่ได้เป็นคำถามที่ง่ายกว่า และคำตอบก็เหมือนกัน คือ ในเมื่อ <code>check_result</code> (หรือ <code>trouble</code>) เรียกใช้โปรแกรมที่ไม่สามารถเขียนได้ จึงทำให้โปรแกรม <code>check_result</code> (หรือ <code>trouble</code>) ไม่มีอยู่จริง จึงป่วยการที่จะวิเคราะห์ว่ามันทำงานอย่างไรครับ --[[ผู้ใช้:Nullzero|Nullzero]] ([[คุยกับผู้ใช้:Nullzero|คุย]]) 11:19, 31 ธันวาคม 2562 (+07)
:: ขอสรุปสั้น ๆ ตามนี้นะครับ
::# คำถามว่าเอา <math>M</math> มาทำงานด้วยข้อมูล <math>I</math> แล้ว <math>M</math> จะยุติการทำงานหรือเปล่า เป็นคำถามที่ valid โดยที่ <math>M</math> ต้องเป็น Turing machine และ <math>I</math> ต้องเป็นข้อมูลนำเข้า
::# แต่ทฤษฎีบทของปัญหาการยุติการทำงาน ระบุว่า เราไม่สามารถเขียนโปรแกรมที่จะแก้ปัญหายุติการทำงานสำหรับ Turing machine และข้อมูลนำเข้าใด ๆ ได้ นั่นคือ <code>halt</code> ที่เป็นโปรแกรม หรือ Turing machine ไม่มีอยู่จริง
::# แปลว่าโปรแกรมที่เรียกใช้ <code>halt</code> ในฐานะที่เป็นโปรแกรม หรือ Turing machine ก็ไม่มีอยู่จริงเช่นเดียวกัน
::# แปลว่า <code>trouble</code> หรือ การเอา <code>trouble</code> มาเข้ารหัสเป็น string <code>t</code> ก็ไม่มีอยู่จริง
::# ฉะนั้น ในขณะที่คำถามว่าเอา <math>M</math> มาทำงานด้วยข้อมูล <math>I</math> แล้ว <math>M</math> จะยุติการทำงานหรือเปล่า เป็นคำถามที่ valid การถามว่าเอา <math>trouble</math> มาทำงานด้วย <code>t</code> แล้ว <math>trouble</math> จะยุติการทำงานหรือเปล่า จึงผิด เพราะ <math>trouble</math> ไม่ใช่ Turing machine --[[ผู้ใช้:Nullzero|Nullzero]] ([[คุยกับผู้ใช้:Nullzero|คุย]]) 11:39, 31 ธันวาคม 2562 (+07)
| |||