TP1 : modélisation du problème des "tours de Hanoi" pour être résolu comme un problème d'exploration

Le TP 1 consiste à décrire et modéliser le problème "Tours de Hanoi" pour être résolu par exploration.

Un modèle  est fourni dans l'exemple du problème de taquin.

Il ne s'agit de le résoudre mais seulement de le modéliser (état, actions légale, résultat de chaque action).