Schrittweise Verfeinerung

Beispiel: Türme von Hanoi:

hanoi (int k, turm x, turm y, turm z) :
  bewege Scheiben [1 .. k] 
  von x nach y mithilfe von z



Johannes Waldmann 2011-07-07