Leçon 920 : Réécriture et formes normales. Exemples.

(2016) 920

Dernier rapport du Jury :

(2015 : 920 - Réécriture et formes normales. Exemples.) 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.

Développements :

Plans/remarques :

2015 : Leçon 920 - Réécriture et formes normales. Exemples.


Retours d'oraux :

Pas de retours pour cette leçon.