A system of rules for transforming

A system of rules for transforming programs is described, with the programs in the form of recursion equations An initially very simple, lucid. and hopefully correct program IS transformed into a more efficient one by altering the recursion structure Illustrative examples of program transformations are given, and a tentative implementation !s described Alternative structures for programs are shown, and a possible initial phase for an automatic or semiautomatic program manipulation system is lndmated KEY WORDS AND PHRASES program transformation, program mampulatlon, optimization, recursion CR CATEGORIES' 3 69, 4 12, 4 22, 5 24, 5 25 1.

ผลลัพธ์ (ไทย) 1:

ระบบของกฎสำหรับการแปลงโปรแกรมอธิบาย กับโปรแกรมในรูปแบบของสมการสอบการเริ่มต้นง่ายมาก lucid และหวังว่าเปลี่ยนโปรแกรมที่ถูกต้องเป็นหนึ่งที่มีประสิทธิภาพมากขึ้นโดยดัดแปลงให้ตัวอย่างแสดงโครงสร้างสอบถามซ้ำของโปรแกรมแปลง และการดำเนินการแน่นอน! s อธิบายโครงสร้างทางเลือกสำหรับโปรแกรมจะแสดง และระยะเริ่มต้นเป็นไปได้สำหรับระบบการจัดการโปรแกรมอัตโนมัติ หรือกึ่งอัตโนมัติเป็น lndmated คำสำคัญวลีและโปรแกรมการแปลง โปรแกรม mampulatlon เพิ่ม ประสิทธิภาพ ประเภทสอบ CR 3 69 , 4 12, 4 22, 5 24, 5 25 1

ผลลัพธ์ (ไทย) 2:

ระบบการทำงานของกฎระเบียบสำหรับการเปลี่ยนโปรแกรมอธิบายไว้กับโปรแกรมในรูปแบบของสมการเรียกซ้ำในขั้นต้นที่ง่ายมากที่ชัดเจน และโปรแกรมที่ถูกต้องหวังว่าจะกลายเป็นหนึ่งในมีประสิทธิภาพมากขึ้นโดยการเปลี่ยนโครงสร้างการเรียกซ้ำตัวอย่างตัวอย่างของการเปลี่ยนแปลงโปรแกรมจะได้รับและการดำเนินการเบื้องต้น! s อธิบายโครงสร้างทางเลือกสำหรับโปรแกรมที่มีการแสดงและขั้นตอนการเริ่มต้นเป็นไปได้สำหรับการจัดการโปรแกรมอัตโนมัติหรือกึ่งอัตโนมัติ ระบบ lndmated คำสำคัญและการเปลี่ยนแปลงโปรแกรมวลี, mampulatlon โปรแกรมเพิ่มประสิทธิภาพการเรียกซ้ำ CR หมวดหมู่ '3 69 4 12 4 22 5 24 5 25 1

ผลลัพธ์ (ไทย) 3:

ระบบของกฎสำหรับการเปลี่ยนโปรแกรมจะอธิบาย ด้วยโปรแกรมในรูปแบบของการเริ่มต้นซ้ำสมการง่ายๆ ที่ชัดเจน และหวังว่า โปรแกรมที่ถูกต้องจะถูกเปลี่ยนเป็นหนึ่งที่มีประสิทธิภาพมากขึ้นโดยการเปลี่ยนแปลงโครงสร้างการเรียกซ้ำรูปประกอบตัวอย่างของการแปลงโปรแกรมจะได้รับและใช้งานแน่นอน !อธิบายโครงสร้างของทางเลือกสำหรับแสดงโปรแกรมและขั้นตอนการเริ่มต้นเป็นไปได้โดยอัตโนมัติหรือกึ่งอัตโนมัติระบบการจัดการโปรแกรม lndmated คำสำคัญและวลีที่โปรแกรมการเปลี่ยนแปลงโปรแกรม mampulatlon เพิ่มประสิทธิภาพซ้ำประเภท ' 69 CR 3 4 4 5 12 , 22 , 24 , 5 25 1