基于递推技术的算法设计方法的应用研究  

Application Research on Algorithm Design Methods Based on Recursion Technique

作　　者：张园[1,2] 杨庆红[1] 胡昊[1] 

机构地区：[1]江西师范大学计算机信息工程学院,江西南昌330022 [2]南昌航空大学科技学院,江西南昌330034

出　　处：《计算机与现代化》2012年第6期37-39,共3页Computer and Modernization

摘　　要：算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。Algorithm is the core of computer science. Algorithm design is very important for the development of correct and effi- cient software. The algorithm design method based on recursion technique can ensure the reliability of the algorithm and effective- ly improve the implementation efficiency by formal development. With the derivation of two examples, this article detailedly intro- duces the formal developing process of algorithm program by the algorithm design method based on reeursion technique.

关 键 词：算法设计方法 递推关系 程序规约 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]