Bonjour,
 
Voici un petit programme récursif, simpliste, mais que je ne parviens pas trop à comprendre..
 

 
A première vue, ce programme est censé renvoyer: 01234. Je ne saisis pas bien pourquoi, pourriez-vous me le détailler un peu svp?
 
Merci d'avance!  
 
 
 

Déroules l'exécution à la main
 
Et accessoirement, ça ne renvoie rien, ça affiche "0 1 2 3 4"

Justement, c'est là où je bloque.. Voici comment je le comprends:
on a N=4: on vérifie donc bien N /=0, donc le programme s'appelle lui-même en prenant pour nouveau paramètre 4-1=3, etc, jusqu'à N=1. Et à partir de là, on afficherait donc simplement 1... Mais bon, ce raisonnement est incorrect apparemment!

La partie en gras est là où tu fais une grosse erreur.
 
Déroules la stack d'exécution à l'écrit, genre

Euh... Essayons d'aller plus doucement, du moins moi.
Pour N=4, la condition N/=0 est bien respectée, donc à priori, on rentre dans le if, Test(3) est alors appelé; on repart alors au begin, la condition est de nouveau vérifiée (3 /=0), puis Test(2) est appelé, puis alors Test(1). On repart au begin, la condition d'entrée est toujours vérifiée (1 /=0), alors Test(0) est appelé. Là par contre, la condition n'est plus vérifiée, on n'entre donc pas dans le if, et on se contente d'aller au put, qui affiche donc 0 (par contre, vu que c'est put(N,5), il devrait afficher un "blanc" en plus, à cause du 5 non?). Une fois parvenu ici, j'aurais eu tendance à dire que l'instruction se terminait..

Quelle instruction?

Enfin, je voulais dire, le programme général.. Mais encore une fois, ce n'est pas le cas, bien que je ne voie pas pourquoi..

Pourquoi ça ferait un truc pareil

Parce que le programme a "fini"? On est allé jusqu'au cas N=0, et on a affiché 0, je ne vois pas ce qu'il peut faire d'autre ensuite..

Bah continuer à exécuter le programme, il reste plein de trucs pas exécutés si on remonte la call stack

Et bien, ce doit être là que mon problème de compréhension se situe... Peut-être pourrais-tu m'expliquer stp?

On va étendre le contenu de Test_Recursif:

Test(4)

On va utiliser le modèle de substitution de Structure and Interpretation of Computer Programs (je recommande d'ailleurs fortement de le lire)

Donc si on substitue le contenu de Test à cet appel, on se retrouve avec

if 4 /= 0 then
    Test(4-1);
end if;
put(4,5);

Ligne 2 on a un Test, donc on continue à substituer

if 4 /= 0 then
    if 3 /= 0 then
        Test(3-1);
    end if;
    put(3,5);
end if;
put(4,5);

et encore

if 4 /= 0 then
    if 3 /= 0 then
        if 2 /= 0 then
            Test(2-1);
        end if
        put(2, 5);
    end if;
    put(3,5);
end if;
put(4,5);

et encore

if 4 /= 0 then
    if 3 /= 0 then
        if 2 /= 0 then
            if 1 /= 0 then
                Test(1-1);
            end if
            put(1, 5);
        end if
        put(2, 5);
    end if;
    put(3,5);
end if;
put(4,5);

et encore

if 4 /= 0 then
    if 3 /= 0 then
        if 2 /= 0 then
            if 1 /= 0 then
                if 0 /= 0 then
                    Test(0-1);
                end if
                put(0, 5);
            end if
            put(1, 5);
        end if
        put(2, 5);
    end if;
    put(3,5);
end if;
put(4,5);

Ici, on a 0 /= 0 qui est true, donc Test(0-1) n'est jamais exécuté, donc on a pas besoin de l'étendre, et on peut simplifier l'expression développée en retirant toute la condition:

if 4 /= 0 then
    if 3 /= 0 then
        if 2 /= 0 then
            if 1 /= 0 then
                put(0, 5);
            end if
            put(1, 5);
        end if
        put(2, 5);
    end if;
    put(3,5);
end if;
put(4,5);

On exécute ça séquentiellement, et on voit bien qu'on se retrouve avec put(0, 5); put(1, 5); put(2, 5); put(3, 5); put(4, 5);

Merci beaucoup pour tous ces détails! En fait, je pensais qu'une fois le premier put effectué, le programme se terminait, alors qu'en fait, il semble revenir au début..

non.

Ah... Bon, je vais lire et relire tranquillement tes explications, et tenter de mieux cerner le principe. Encore merci.