Changes between Version 3 and Version 4 of 2010CaoTme3

Timestamp:

Mar 20, 2010, 4:39:29 PM (15 years ago)

Author:

jpc

Comment:

--

2010CaoTme3

@@ -153 +153 @@
 
 
+Les méthodes {{{litterals()}}}, {{{support()}}}, {{{display()}}} et {{{parse()}}} de la
+classe {{{Ebm}}} sont récursives. On définit le niveau de profondeur de l'arbre d'une
+{{{EBM}}} comme le nombre d'arcs {{{N}}} nécessaire pour atteindre la racine. Dans
+l'{{{EBM}}} {{{e4}}}, la racine {{{e4}}} à une profondeur nulle, {{{e1}}} une profondeur
+de 1 et {{{a}}} une profondeur de 2.
+
+'''Récursion'''
+
+Considérons l'exemple de la fonction {{{litterals()}}}. Dire qu'elle est récursive
+signifie que son calcul au niveau de profondeur {{{N}}} peut se décomposer en
+calculs ''de cette même fonction'' appliquée sur le niveau {{{N+1}}}.
+Par exemple, le calcul de {{{litterals()}}} de {{{e4}}} peut s'exprimer comme
+la somme des fonctions {{{litterals()}}} ''appliquée à ses opérandes''
+({{{e0}}}, {{{e1}}}, {{{e2}}} et {{{e3}}}) :
+
+'''Condition d'arrêt'''
+
+On comprend bien, que l'on ne va pas rappeler indéfiniment {{{litterals()}}},
+à une profondeur donnée, il faudra bien d'arrêter. Le critère d'arrêt est simple:
+lorsque l'on atteind une {{{EbmVar}}}, le noeud n'a pas d'opérandes, et son
+nombre de littéraux vaut 1.
+
+En conclusion, la fonction récursive aura la structure générale suivante:
+
 [[Image(Ebm-1.png)]]
 [[Image(Ebm-2.png)]]