Leçon #864
Actif : false
Numero : 920
Titre : Réécriture et formes normales. Exemples.2017
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
Rapport du jury 2015
Au-delà des propriétés standards (terminaison, confluence) des systèmes de réécriture, le jury attend notamment du candidat qu'il présente des exemples sur lesquels l'étude des formes normales est pertinente dans des domaines variés : calcul formel, logique, etc.Un candidat ne doit pas s'étonner que le jury lui demande de calculer des paires critiques sur un exemple concret.Lorsqu'un résultat classique comme le lemme de Newman est évoqué, le jury attend du candidat qu'il sache le démontrer.
Au-delà des propriétés standards (terminaison, confluence) des systèmes de réécriture, le jury attend notamment du candidat qu'il présente des exemples sur lesquels l'étude des formes normales est pertinente dans des domaines variés : calcul formel, logique, etc.Un candidat ne doit pas s'étonner que le jury lui demande de calculer des paires critiques sur un exemple concret.Lorsqu'un résultat classique comme le lemme de Newman est évoqué, le jury attend du candidat qu'il sache le démontrer.