2,436
การแก้ไข
ล (robot Add:sk Modify:nl) |
ลไม่มีความย่อการแก้ไข |
||
'''เครื่องจักรทัวริง''' (the Turing machine) คือ[[เครื่องจักรนามธรรม]]ที่[[แอลัน ทัวริง]]ได้คิดค้นขึ้นใน ค.ศ. 1936 ([[พ.ศ. 2479]]) เพื่อการนิยาม[[อัลกอริทึม]]หรือ 'กระบวนการเชิงกล' อย่างชัดเจนแบบคณิตศาสตร์ เครื่องจักรทัวริงได้ถูกใช้อย่างแพร่หลายในการศึกษา[[วิทยาการคอมพิวเตอร์เชิงทฤษฎี]] โดยเฉพาะใน[[ทฤษฎีความซับซ้อนในการคำนวณ]]และ[[ทฤษฎีการคำนวณ]] ข้อปัญหา (thesis) ที่ว่าโมเดลของเครื่องจักรทัวริงนั้นครอบคลุมกระบวนการเชิงกลทั้งหมด ในการคำนวณทางตรรกศาสตร์และคณิตศาสตร์ เป็นที่รู้จักกันในชื่อ[[ข้อปัญหาของเชิร์ช-ทัวริง]]
แนวคิดของเครื่องจักรทัวริงนั้นต้องการจะอธิบายการทำงานของคนที่ปฏิบัติตามขั้นตอนที่ระบุไว้อย่างชัดเจน เพื่อแก้ไขข้อมูลที่ถูกบันทึกไว้ในกระดาษที่เรียงต่อกันความยาวไม่จำกัด โดยที่กระดาษแผ่นหนึ่งจะสามารถเก็บสัญลักษณ์ได้หนึ่งตัวจากสัญลักษณ์ที่เป็นไปได้จำนวนจำกัด ผู้ปฏิบัติงานนั้นจะต้องจดจำสถานะหนึ่งจากสถานะที่เป็นไปได้ที่มีจำนวนจำกัด และขั้นตอนที่ระบุให้เขาทำงานนั้นจะอยู่ในลักษณะเช่น "ถ้าสถานะของคุณคือ 42 และ
เครื่องจักรทัวริงนั้นไม่เกี่ยวข้องกับ[[การทดสอบของทัวริง]] ซึ่งถูกใช้เพื่ออธิบายความหมายของ[[ปัญญาประดิษฐ์]]โดยทัวริง
|
การแก้ไข