The use of the state space to record the behavioral effects of subproblems and symmetries in the Tower of Hanoi problem