Spezifikation (Schnittstelle) einer Prozedur
static void hanoi
(int s, String v, String n, String h)
soll Folge der Bewegungen drucken,
die nötig sind, um Scheiben
[s, s - 1,..., 2, 1]
von Turm v nach Turm n zu bewegen,
unter (eventueller) Benutzung des Turms h.
Beispiele:
hanoi (1, "A", "B", "C") => (1 von A nach B) hanoi (2, "B", "C", "A") => (1 von B nach A)(2 von B nach C)(1 von A nach B) hanoi (3, "A", "C", "B") => ?
Beachte: zum Festlegen der Schnittstelle von hanoi
war schon ein Teil der Problem-Analyse nötig