ผลต่างระหว่างรุ่นของ "พูดคุย:ปัญหาการยุติการทำงาน"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
re
+ping
บรรทัด 51:
::::* ตอบกลับเรื่อง "ตย. ของผมไม่เหมือน ตย. 2 ที่คณยกมาครับ": โอเคครับ ไม่เหมือนกันอย่างที่คุณว่าจริง ๆ แหละครับ ต้องขอโทษด้วยครับถ้าทำให้สับสน แต่ประเด็นที่ผมต้องการจะสื่อคือ การเอาข้อมูลนำเข้าอันหนึ่ง (<math>I</math>) มาทำงานบน Turing machine อันหนึ่ง (<math>M</math>) จะได้ผลลัพธ์ที่เหมือนกันเสมอ (นั่นคือ การทำงานเป็น[[ฟังก์ชัน (คณิตศาสตร์)|ฟังก์ชันทางคณิตศาสตร์]]) สาเหตุเพราะว่าในสถานะหนึ่ง ๆ ของ Turing machine (<math>q</math>) บนเทปข้อมูลหนึ่ง ๆ (<math>s</math>) และตำแหน่งหัวอ่านเทปหนึ่ง ๆ (<math>i</math>) ถ้า <math>q</math> ไม่ใช่สถานะจบ จะมีเพียงแค่วิธีเดียวในการเปลี่ยนสถานะไปเป็นสถานะถัดไป (ตามนิยามของ Turing machine) จึงสรุปแบบชุ่ย ๆ ได้ว่า <math>M</math> และ <math>I</math> จะนำไปสู่ผลลัพธ์ที่เหมือนกันเสมอ (ถ้าอยากให้รัดกุมก็อาจจะใช้[[การพิสูจน์เชิงคณิตศาสตร์#การพิสูจน์โดยการอุปนัยเชิงคณิตศาสตร์|การอุปนัย]]ในการพิสูจน์อะไรทำนอง "หลังจาก <math>M</math> ทำงานด้วยข้อมูล <math>I</math> ไปได้แล้ว <math>z</math> ขั้น แล้วอยู่ในสถานะรวม <math>(q_1, s_1, i_1)</math> และ <math>(q_2, s_2, i_2)</math> จะได้ว่า <math>q_1 = q_2, s_1 = s_2, i_1 = i_2</math> สำหรับทุก ๆ จำนวนเต็ม <math>z \ge 0</math>") เพราะฉะนั้นแล้ว ในบทความ <code>halt(t, t)</code> จึงมีค่าที่เป็นไปได้เพียงค่าเดียวครับ
 
:::: {{ping|Ans}}
::::* ตอบกลับเรื่อง "ลองดู สมการ x^2 = 1 สิครับ, มันก็ทำให้ x มี 2 ค่าได้ เช่นกัน": คือถ้าคุณ Ans พยายาม "แก้สมการ" ก็จะได้ว่าทั้ง true และ false เป็น feasible solution ของ <code>halt(t, t)</code> แหละครับ แต่
::::*# นี่ก็ไม่ได้ทำให้ความจริงที่ว่า <code>halt(t, t)</code> เป็นไปได้เพียงแค่ค่าเดียวเท่านั้นเปลี่ยนไป
เส้น 70 ⟶ 71:
'''return''' '''false'''
'''if''' is_false(Q, I) = '''true'''
'''return''' '''true'''
'''else'''
กลับไปที่หน้า "ปัญหาการยุติการทำงาน"