计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2007年
11期
203-205
,共3页
形式化方法%非递归%PAR%循环不变式%可靠性
形式化方法%非遞歸%PAR%循環不變式%可靠性
형식화방법%비체귀%PAR%순배불변식%가고성
提出了一种简单、统一的形式化开发非递归算法的方法.该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述.对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨.
提齣瞭一種簡單、統一的形式化開髮非遞歸算法的方法.該方法直接麵嚮非遞歸算法,在形式化方法PAR的指導下,使用循環不變式的開髮新策略,在得到求解遞歸問題的循環不變式的同時,能直接得到易讀、高效且可靠的非遞歸算法,併通過一箇具體實例進行瞭闡述.對使用形式化方法及循環不變式開髮新策略開髮非遞歸算法的方法作瞭較深入的實踐和探討.
제출료일충간단、통일적형식화개발비체귀산법적방법.해방법직접면향비체귀산법,재형식화방법PAR적지도하,사용순배불변식적개발신책략,재득도구해체귀문제적순배불변식적동시,능직접득도역독、고효차가고적비체귀산법,병통과일개구체실례진행료천술.대사용형식화방법급순배불변식개발신책략개발비체귀산법적방법작료교심입적실천화탐토.
