ผลต่างระหว่างรุ่นของ "เครื่องทัวริง"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล Horus ย้ายหน้า เครื่องจักรทัวริง ไปยัง เครื่องทัวริง |
Larazhivago (คุย | ส่วนร่วม) ล +{{ต้องการอ้างอิง |
||
บรรทัด 1:
{{ต้องการอ้างอิง}}
'''เครื่องจักรทัวริง''' ({{lang-en|Turing machine}}) คือ[[เครื่องจักรนามธรรม]]ที่[[แอลัน ทัวริง]]ได้คิดค้นขึ้นใน ค.ศ. 1936 ([[พ.ศ. 2479]]) เพื่อการนิยาม[[ขั้นตอนวิธี]]หรือ 'กระบวนการเชิงกล' อย่างชัดเจนแบบคณิตศาสตร์ เครื่องจักรทัวริงได้ถูกใช้อย่างแพร่หลายในการศึกษา[[วิทยาการคอมพิวเตอร์เชิงทฤษฎี]] โดยเฉพาะใน[[ทฤษฎีความซับซ้อนในการคำนวณ]]และ[[ทฤษฎีการคำนวณ]] ข้อปัญหา (thesis) ที่ว่าโมเดลของเครื่องจักรทัวริงนั้นครอบคลุมกระบวนการเชิงกลทั้งหมด ในการคำนวณทางตรรกศาสตร์และคณิตศาสตร์ เป็นที่รู้จักกันในชื่อ[[ข้อปัญหาของเชิร์ช-ทัวริง]]
|