อัลกอริทึมการแก้ไขตัวเองทุกรูปแบบสามารถทำได้โดยอัลกอริทึมที่ไม่สามารถแก้ไขตัวเองได้หรือไม่?

หากเรามีโปรแกรมคอมพิวเตอร์ใด ๆ ที่สามารถแก้ไขคำสั่งได้เป็นไปได้หรือไม่ที่จะจำลองโปรแกรมนั้นด้วยโปรแกรมที่ไม่สามารถแก้ไขคำแนะนำได้

แก้ไข:

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

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

โดยเฉพาะอย่างยิ่งคุณสามารถมีเครื่องจักรทัวริงสากลได้อย่างสมบูรณ์แบบซึ่งอนุญาตให้ TM กำลังจำลองเพื่อแก้ไขคำอธิบายของตัวเอง (คำอธิบายของเครื่องจำลองผมหมายถึงไม่ใช่ UTM)

โมเดลการคำนวณแบบทัวริงที่สมบูรณ์ซึ่งไม่มีการแก้ไขโค้ด (หรือ "รหัส") ทำหน้าที่เป็นข้อพิสูจน์ของคำสั่งนั้น ผมไม่ทราบว่าที่ใด ๆ ของรุ่นมาตรฐาน (TM, RAM, ... ) ไม่ได้ปรับเปลี่ยนรหัสเพื่อให้เราไม่ต้องมองไกลเกินไป

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

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

วิธีเพิ่มคำตอบของ David Richerby :

หากเป็นความจริงที่ไม่มีอัลกอริธึมการแก้ไขตัวเองไม่สามารถจำลองโดยอัลกอริธึมที่ไม่ได้แก้ไขตัวเองดังนั้นอัลกอริทึมเหล่านั้นจะต้องถูกดำเนินการในบางสิ่งที่ยังแก้ไขตัวเองด้วย มันจะต้องเป็นเต่าตลอดทาง

ดังที่ฉันได้กล่าวถึงในความคิดเห็นของฉันอัลกอริทึมการปรับเปลี่ยนด้วยตนเองสามารถดำเนินการในโปรเซสเซอร์ที่ปฏิบัติตามกฎของอัลกอริทึมแบบคงที่ (เข้ารหัสในการออกแบบ) ซึ่ง "บอก" วิธีการดำเนินการตามคำสั่งเครื่อง