à l'aide, en caml
Adleni
-
BmV Messages postés 98718 Date d'inscription Statut Modérateur Dernière intervention -
BmV Messages postés 98718 Date d'inscription Statut Modérateur Dernière intervention -
Bonjour,
bjr
les arbres binaires
on définit récursivement :
*trois fonctions comptant:
-les noeuds,
-les feuilles
-la longueur de la plus grande branche
* le prédicat "isom" indiquant que deux arbres ont memes forme
merci
bjr
les arbres binaires
on définit récursivement :
*trois fonctions comptant:
-les noeuds,
-les feuilles
-la longueur de la plus grande branche
* le prédicat "isom" indiquant que deux arbres ont memes forme
merci
