形式化开发Hanoi塔问题非递归算法

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式 验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其它领域的交叉和融合;分析形式化方法的启示,并展望了其

形式化方法的课件，北大裘宗燕老师的课件

一个简单的用递归方法实现汉诺塔的问题，主要练习递归方法

用递归方法解决汉诺塔问题,也就是和尚搬盘子问题,每次搬一个,只有三个座盘供停放,且每次只能是大盘在下小盘子在上面,代码显示操作步骤,详细地显示了过程.

用递归的方法实现汉诺塔问题 用codeblock软甲编写的

在印度，有这么一个古老的传说：在世界中心贝拿勒斯（在印度北部）的圣庙里，一块黄铜板上插着三根宝石针。印度教的主神梵天在创造世界的时候，在其中一根针上从下到上地穿好了由大到小的６４片金片，这就是所谓的汉

划分的非递归算法，划分是一个重要的算法，由于划分算法比较难整，所以大多为递归实现，本程序利用非递归方法实现。

全排列-非递归算法（适合动态的新元素加入重新输出全排列-本程序以1到6的数字输出为例）