ฉันไม่แน่ใจว่าสิ่งนี้จะนำคุณมากกว่าที่คุณรู้ แต่ฉันอาจไม่เข้าใจเหตุผลที่ทำให้คุณสงสัยเกี่ยวกับการเขียนคำซ้ำ มันช่วยได้
อย่างที่คุณอาจรู้ไวยากรณ์เป็นระบบการเขียนสตริง ที่ด้านบนสุดของลำดับชั้น Chomsky คุณมีประเภท 0 grammars ซึ่งกำหนด anguages enumerable (RE) ซ้ำและมีอำนาจการคำนวณของเครื่องจักรทัวริง
ดังนั้นจะบอกคุณว่าระบบการเขียนใหม่โดยทั่วไปมีส่วนเกี่ยวข้องกับการแสดงอัลกอริธึมเป็นอย่างมาก
ปัญหาเกี่ยวกับสตริงโดยทั่วไปคือไม่มีวิธีที่ชัดเจนในการแนบซีแมนทิกส์กับพวกเขา มันเป็นประเภทของการเขียนใหม่อสัณฐาน
สิ่งที่ผู้คนมักสนใจคือการแสดงอัลกอริทึมในโดเมนเฉพาะที่มีโครงสร้างและคุณสมบัติ โดเมนดังกล่าวมักจะถูกกำหนดจากเอนทิตีเบื้องต้น (ปรมาณู) และถูกปิดโดยการดำเนินการต่าง ๆ ซึ่งอาจถูกหารด้วยความสัมพันธ์ที่เท่าเทียมกันและอื่น ๆ เหล่านี้มักจะเรียกว่าจีบราส์
โดเมนเหล่านี้มักเป็นนามธรรม แต่การคำนวณองค์ประกอบของพวกเขาสามารถแสดงเฉพาะในรูปธรรมที่เป็นรูปธรรม คำศัพท์เป็นองค์ประกอบขององค์ประกอบเหล่านี้อย่างเป็นธรรมชาติเนื่องจากมันแสดงให้เห็นถึงองค์ประกอบที่สามารถรับได้สำหรับองค์ประกอบอื่น ๆ โดยการใช้งานการดำเนินการซ้ำไปเรื่อย ๆ จนถึงองค์ประกอบอะตอม (แม้ว่าคุณสมบัติทั่วไปไม่จำเป็นต้องลงไปตลอด) ข้อตกลงเป็นไวยากรณ์โครงสร้างแบบต้นไม้ที่สามารถปรับเปลี่ยนให้แสดงอัลกอริธึมได้ (สำหรับสตริง) แต่โครงสร้างโอเปอเรเตอร์ของตัวดำเนินการของเงื่อนไขยังอนุญาตให้มีการเชื่อมโยงความหมายกับพวกเขาในโดเมนนามธรรมบางอย่าง
แทนที่จะมองวิกิพีเดียอย่างเป็นทางการและข้อความมากมายในหัวข้อนี้เพียงแค่พิจารณาโปรแกรม เป็นที่ทราบกันดีอยู่แล้วว่าการให้บริการทางวากยสัมพันธ์ของโปรแกรมนั้นเรียกว่า Abstract Syntax Tree (AST) แต่ AST เป็นเพียงคำศัพท์ที่ใช้แทนวัตถุโปรแกรม ความหมายเชิง Denotational เป็นวิธีการกำหนดโดเมนนามธรรมและเชื่อมโยงค่าจากโดเมนเหล่านี้ไปยัง AST (หรือ AST subtrees) โดยค่าเฉลี่ยของโฮโมมอร์ฟิซึม โปรแกรมในรูปแบบ AST สามารถแปลงหรือปรับให้เหมาะสมโดยใช้กฎการเขียนใหม่ (ฉันไม่ได้ยืนยันว่าการเพิ่มประสิทธิภาพทั้งหมดสามารถทำได้หรือควรทำเช่นนั้น)
การแปลงของพีชคณิตนิพจน์สำหรับวัตถุประสงค์ต่าง ๆ สามารถแสดงได้โดยการเขียนคำซ้ำ ตัวอย่างเช่นการทำให้เข้าใจง่ายของนิพจน์บางอย่าง การคำนวณประเภทต่าง ๆ ยังสามารถแสดงออกได้อย่างเป็นธรรมชาติเช่นการเขียนคำซ้ำเช่นการคำนวณอนุพันธ์ บางครั้งก็ใช้การเขียนคำซ้ำเพื่อกำหนดรูปแบบที่ยอมรับใน algebras เมื่อเอนทิตี้แบบความหมายเดียวกันสามารถมีการแทนคำต่าง ๆ ทางวากยสัมพันธ์
ฉันขอแนะนำให้คุณดูบทความวิกิพีเดียในหัวข้อนี้