| 形式化开发Hanoi塔问题非递归算法 |
| |
| 引用本文： | 石海鹤,石海鹏,薛锦云.形式化开发Hanoi塔问题非递归算法[J].计算机工程与应用,2007,43(11):96-99. |
| |
| 作者姓名： | 石海鹤 石海鹏 薛锦云 |
| |
| 作者单位： | 江西师范大学计算机信息工程学院 南昌大学计算中心 |
| |
| 摘 要： | 使用形式化方法PAR及循环不变式开发新策略，开发了Hanoi塔问题非递归算法，并对其进行了形式化地正确性证明。本文直接面向非递归算法，在得到求解Hanoi塔问题的循环不变式的同时，直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
|
| 关 键 词： | Hanoi塔问题 形式化方法 非递归 PAR方法 循环不变式 |
| 文章编号： | 1002-8331（2007）11-0096-04 |
| 收稿时间： | 2006-4-12 |
| 修稿时间： | 2006-08 |
Formal Development of Non-Recursive Algorithm for Hanoi Tower |
| |
| SHI Hai-he,SHI Hai-peng,XUE Jin-yun.Formal Development of Non-Recursive Algorithm for Hanoi Tower[J].Computer Engineering and Applications,2007,43(11):96-99. |
| |
| Authors: | SHI Hai-he SHI Hai-peng XUE Jin-yun |
| |
| Affiliation: | 1.College of Computer Information and Engineering,Jiangxi Normal University,Nanchang 330022,China; 2.National Key Laboratory for Computer Science,Institute of Software,the Chinese Academy of Sciences,Beijing 100080,China ;3.College of Software, Jiangxi Normal University,Nanchang 330022,China |
| |
| Abstract: | This paper develops non-recursive algorithmic program of Hanoi tower problem employing PAR method and the new strategy of developing loop invariant and verifies the program formally.This paper aims at non-recursive algorithms directly,and achieves loop invariant of Hanoi tower problem with readable,efficient and reliable non-recursive algorithm finally.The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing hoop invariant. |
| |
| Keywords: | Hanoi tower problem formal method non-recursive PAR method loop invariant |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
