© 1996 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
The Cyclic Towers of Hanoi: An Iterative Solution Produced by Transformation
School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia
An iterative solution to the Cyclic Towers of Hanoi puzzle is produced by largely automatic program transformation from a recursive solution. The result compares favourably with the best published, manually produced iterative algorithm, both in terms of comprehensibility in its own right, and in efficiency.
Received November 11, 1993. revised April 19, 1996.
* School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia Email: tom{at}cse.unsw.edu.au