ผลต่างระหว่างรุ่นของ "เครื่องทัวริง"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ไม่มีความย่อการแก้ไข |
ไม่มีความย่อการแก้ไข |
||
บรรทัด 7:
เครื่องจักรทัวริงที่สามารถจำลองการทำงานของเครื่องจักรทัวริงเครื่องใด ๆ ก็ได้เรียกว่า '''เครื่องจักรทัวริงสากล''' (universal Turing machine) หรือเรียกสั้นๆ ว่า '''เครื่องจักรสากล''' ทัวริงอธิบายไว้ใน ค.ศ. 1947 ([[พ.ศ. 2490]]) ว่า
:''สามารถแสดงได้ว่ามีเครื่องจักรพิเศษในรูปแบบนี้ ที่สามารถทำงานของเครื่องจักรอื่น ๆ ในรูปแบบดังกล่าวได้ทั้งหมด นอกจากนี้เครื่องจักรนี้ยังสามารถใช้เป็นโมเดลสำหรับเครื่องจักรในแบบอื่น ๆ เครื่องจักรพิเศษนี้สามารถเรียกได้ว่าเป็นเครื่องจักรสากล
{{โครงคอม}}
| |||