Towers of Hanoi problems: deriving iterative solutions by program transformations (Q1067772): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 00:58, 31 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towers of Hanoi problems: deriving iterative solutions by program transformations |
scientific article |
Statements
Towers of Hanoi problems: deriving iterative solutions by program transformations (English)
0 references
1985
0 references
The author presents the derivation of the iterative solutions for the Towers of Hanoi problems starting from the recursive solutions. Various kinds of problems are considered: the standard one, the clockwise and the anticlockwise one, and the generalized one. The derived algorithms have optimal time x space performances. Their derivation implicitly gives the proof of their correctness.
0 references
recursion
0 references
iteration
0 references
program transformation
0 references
Towers of Hanoi problems
0 references
recursive solutions
0 references
correctness
0 references
