next up previous contents
suivant : 4.2 Preuves par induction remonter : 4.1 Définitions par induction précédent : 4.1.3 Expressions arithmétiques

4.1.4 Application aux arbres binaires

Soit $f$ une fonction prenant an argument un arbre binaire, la façon la plus claire et la précise de définir une telle fonction est souvent de la caractériser par induction. Par exemple

Définition 4.1.1   On note $h(A)$ la hauteur de l'arbre $A$. On la définit par induction :

Définition 4.1.2   On note $\vert A\vert$ le nombre de noeuds d'un arbre $A$. On le définit par induction :



Alexandre
2009-07-20