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

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

แนวคิดของทัวริงครบถ้วนมาจาก Alan Turing นักวิทยาศาสตร์คอมพิวเตอร์ชาวอังกฤษที่ทำงานรวมถึงถอดรหัสข้อความที่เข้ารหัสในช่วงสงครามโลกครั้งที่สอง ในบรรดางานของเขาเกี่ยวกับคอมพิวเตอร์คือการพัฒนาปรัชญาของสิ่งที่คอมพิวเตอร์สามารถทำได้จริง ซึ่งรวมถึงแนวคิดที่ว่าคอมพิวเตอร์ทำงานได้ง่ายเพียงแค่เรียกใช้อัลกอริทึม กล่าวคือพวกเขาปฏิบัติตามกฏที่กำหนดไว้แล้วเพื่อประมวลผลข้อมูลและแก้ไขปัญหา ซึ่งหมายความว่าคอมพิวเตอร์ไม่ได้ "คิด" หรือตัดสินใจอย่างที่บุคคลสามารถทำได้

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

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

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