เป็นไปได้หรือไม่ที่จะสร้างจุดประสงค์เดียว (ไม่ใช่การทำให้ทัวริงสมบูรณ์) ในการดำเนินการทางกลของการพูด Microsoft Word? เป็นไปได้หรือไม่ที่จะใช้สิ่งต่าง ๆ เช่นตัววนซ้ำฟังก์ชันอันดับหนึ่งขอบเขตของเทคนิคการเขียนโปรแกรมทั้งหมด? เกียร์และชิ้นส่วนทางกลอื่น ๆ สามารถแสดงโครงสร้างข้อมูลหรือแม้แต่โปรแกรมวัตถุได้หรือไม่? เมื่อถึงจุดหนึ่งสิ่งนี้ทำให้การสร้างเครื่องทัวริงที่มีจุดประสงค์ทั่วไปหรือแต่ละฟังก์ชั่นตัวแปร ฯลฯ มีโครงสร้างทางกลที่เป็นเอกลักษณ์ของตัวเองในรูปแบบของมู่เล่และ / หรือเกียร์เฟืองคุณมีอะไรบ้าง โดยสรุปฉันสงสัยว่ามีชิ้นส่วนใด ๆ ของซอฟต์แวร์ในคอมพิวเตอร์มาตรฐานที่สามารถคอมไพล์ลงในพิมพ์เขียวเชิงกลได้หรือไม่
ฉันคิดว่ามีบางสิ่งที่ใช้ Microsoft Word ไม่จำเป็นต้องใช้บนเครื่องทัวริงเนื่องจากกระบวนการทั้งหมดใน Word ควรจะเป็นที่รู้จัก (พิสูจน์แล้ว) ยุติ (ยกเว้นกรณีที่มีข้อผิดพลาด ofc) นอกเหนือจากลูปเหตุการณ์หลัก
—
Realz Slaw
หากเป็นไปได้ - ซึ่งดูเหมือนว่าน่าจะเป็นไปได้คุณควรสร้างเครื่องที่ไม่สมบูรณ์ซึ่งทำหน้าที่เป็นคอมไพเลอร์โดยสร้างพิมพ์เขียวสำหรับเครื่องอื่นจากซอร์สโค้ด เครื่องที่อาจจะใช่หรือไม่ก็ได้
—
Nick Johnson
@Realz Slaw: ไม่ใช่ถ้าคุณใส่ I / O, VBA macros หรือส่วนขยายตัวอย่างเช่นฉันสงสัยว่า Word จะบ่นถ้าคุณป้อนเอกสาร Word ที่ไม่มีที่สิ้นสุด อาจเป็นระบบปฏิบัติการพื้นฐานที่จะถึงขีด จำกัด
—
reinierpost
@reierierpost แต่รูทีนแต่ละรายการไม่จำเป็นต้องทำให้สมบูรณ์ พวกเขาอาจจะยุติหรือพิสูจน์ไม่ได้ นั่นคือถ้าคุณป้อนเอกสารที่ไม่มีที่สิ้นสุดมันจะไม่สิ้นสุด ประเด็นของฉันคือโปรแกรมส่วนใหญ่ที่เราทำไม่จำเป็นต้องใช้ภาษาทัวริงที่สมบูรณ์เพราะเราสามารถ จำกัด เฉพาะโปรแกรมที่เราสามารถพิสูจน์การยุติได้รับข้อมูลที่ไม่สิ้นสุดและไม่ยุติหากได้รับข้อมูลที่ไม่มีที่สิ้นสุด และถ้าคุณสามารถทำสิ่งนี้ได้จะไม่มีปัญหากับปัญหาการหยุดชะงัก TLDR; หากคุณไม่สามารถพิสูจน์ได้ว่ากิจวัตรของคุณสิ้นสุดลงหรือไม่คุณก็เป็นโปรแกรมเมอร์ที่แย่มาก
—
Realz Slaw