next up previous contents
suivant : 3.2 Sous-programmes récursifs terminaux remonter : 3.1.1 Factorielle précédent : Exercice 1 - Opérations

Exercice 2 - La fonction $mystery$

Considérons la fonction suivante :

\begin{algorithm}[H]
\dontprintsemicolon
\Fonction{$mystery(n)$}
{
\eSi{$n =...
... {
\Retourner{$2$}
}
{
\Retourner{$[mystery(n-1)]^2$}
}
}
\end{algorithm}

  1. Que fait cette fonction ?
  2. Prouvez par récurrence votre conjecture de la question précédente.
  3. Écrire une fonction récursive $mysteryBis(a, b, n)$ sur le même modèle que $mystery$ retournant $a^{(b^n)}$. Vous utiliserez la fonction $puissance(x, m)$ qui retourne $x^m$.
  4. Prouvez la validité de $mysteryBis$.



Alexandre
2009-07-20