|
|||||
|
|
| 形式化开发Hanoi塔问题非递归算法 | |
| 作者姓名： | 石海鹤石海鹏 薛锦云 |
| 作者单位： | 江西师范大学,计算机信息工程学院,南昌,330022;中国科学院,软件研究所,计算机科学国家重点实验室,北京,100080;江西师范大学,软件学院,南昌,330022 |
| 摘 要： | 使用形式化方法PAR及循环不变式开发新策略;开发了Hanoi塔问题非递归算法;并对其进行了形式化地正确性证明。本文直接面向非递归算法;在得到求解Hanoi塔问题的循环不变式的同时;直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。 |
| 关 键 词： | Hanoi塔问题 形式化方法 非递归 PAR方法 循环不变式 |
| 文章编号： | 1002-8331（2007）11-0096-04 |
| 收稿时间： | 2006-04-12 |
| 修稿时间： | 2006-08-01 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与应用》下载全文 | |