Towers of Hanoi problems: deriving iterative solutions by program transformations (Q1067772): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The cyclic towers of Hanoi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Towers of Hanoi Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Transformation System for Developing Recursive Programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Generalized Towers of Hanoi Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An iterative solution to the generalized Towers of Hanoi problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Discussion and correspondence: A note on the Towers of Hanoi problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterization of flowchartable recursions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iteration strikes back - at the cyclic Towers of Hanoi / rank | |||
Normal rank |
Revision as of 10:00, 17 June 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