Discussion:InitRech 2015/2016, sujet 16
De Wiki de Projets IMA
Anglais compréhensible. Quelques coquilles (voir correction, plus d'une dizaine).
Quelques erreurs de compréhension :
- un programme ne peut pas toujours être transformé en un SARE ;
- fait une équivalence entre un SARE a un ordonnancement et il n'y à pas de boucle dans l'arbre de dépendance des instances de variables ;
- pour le coeur de l'article finit par paraphraser l'article ;
Des recherches annexes pour comprendre l'article (machine de Turing, algèbre de Herbrand). Dans le seconde partie, l'élève met le doigt sur la faiblesse principale de l'algorithme (calcul de fermetures transitives).
Les applications sont assez mal exposées. On y trouve cependant une utilisation pour contrôle de code d'utilisateurs débutants. Plus quelques points évoqués dans l'article.
Travail correct pas plus.
