ทัวริงสมบูรณ์คืออะไร

ในวิทยาการคอมพิวเตอร์ ทัวริงครบถ้วน เป็นหมวดหมู่สำหรับระบบของกฎที่จัดการกับข้อมูล มันได้รับการตั้งชื่อตามนักวิทยาศาสตร์คอมพิวเตอร์ Alan Turing ผู้ประดิษฐ์เครื่องทัวริง

ตัวอย่างเช่นภาษาโปรแกรมและชุดคำสั่ง CPU เป็นตัวอย่างของระบบกฎอย่างเป็นทางการที่เข้าถึงและแก้ไขข้อมูล หากกฎสามารถนำมาใช้เพื่อจำลองเครื่องคำนวณสมมุติของทัวริงกฎได้รับการกล่าวว่าเป็น "ทัวริงสมบูรณ์" ระบบทัวริงสมบูรณ์สามารถพิสูจน์ได้ทางคณิตศาสตร์เพื่อให้สามารถคำนวณหรือโปรแกรมคอมพิวเตอร์ได้

ตัวอย่างของระบบทัวริงที่สมบูรณ์คือแคลคูลัสแลมบ์ดาที่พัฒนาโดย Alonzo Church ศาสตราจารย์ของ Alan Turing

ตัวอย่างของทัวริงระบบที่สมบูรณ์

วิทยาการคอมพิวเตอร์แลมบ์ดาแคลคูลัสเงื่อนไขการเขียนโปรแกรม