Troff ทัวริงสมบูรณ์หรือไม่

Troff รองรับทั้งนิยามแมโครที่ใช้.deและแยกย่อยโดยใช้.if(ดูหน้า 5 และ 6 ของคู่มือผู้ใช้ Troff ) ในสองประเด็นนี้มันเหมือนกับ TeX มาก อย่างไรก็ตามฉันไม่รู้โปรแกรมที่ซับซ้อนสูงที่เขียนใน Troff (ต่างจาก TikZ สำหรับ TeX) Troff ทัวริงสมบูรณ์หรือไม่

The Art of Unix Programmingของ ESR อ้างว่า:

เราจะตรวจสอบ troff โดยละเอียดในบทที่ 18; สำหรับตอนนี้ก็เพียงพอแล้วที่จะทราบว่ามันเป็นตัวอย่างที่ดีของ minilanguage ที่จำเป็นซึ่งมีขอบเขตในการเป็นล่ามเต็มรูปแบบ (มีเงื่อนไขและการเรียกซ้ำ แต่ไม่ใช่ลูปโดยไม่ได้ตั้งใจทำให้สมบูรณ์)

("บังเอิญ" ซึ่งตรงกันข้ามกับm4ที่กล่าวกันว่าเป็น "จงใจทัวริง - สมบูรณ์")

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

ทัวริงสมบูรณ์ไม่ได้หมายความว่าโปรแกรมที่ซับซ้อนสูงเป็นประโยชน์ - เพียงว่าพวกเขาเป็นไปได้ในทางทฤษฎีอย่างใดในระดับหนึ่งของการลบ - และไม่มีการขาดความหมายว่าพวกเขาไม่ได้ดังนั้น troff ของทัวริงสมบูรณ์หรือ การไม่มีโปรแกรมที่ซับซ้อนไม่ได้แนะนำอะไรมากไปในทางใดทางหนึ่ง

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

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

• ดำเนินต่อไปตลอดไป
• จำข้อมูลได้มากเท่าที่คุณต้องการ
• เลือกอะไรถ้าจะทำอะไรต่อไป

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