论文研究-一种形式化开发非递归算法的方法.pdf

提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法，在形式化方法PAR的指导下，使用循环不变式的开发新策略，在得到求解递归问题的循环不变式的同时，能直接得到易读、高效且可靠的非递归算法，并通过一个具体实例进行了阐述。对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨。