Dans la théorie des grammaires attribuées, il existe donc toute une terminologie de classes de grammaires attribuées (Non-circulaire, Fortement Non-circulaire, Doublement Non-circulaire, l-ordonnée, etc). J'aimerais étudier si cette classification à un sens pour la programmation fonctionnelle en terme de système de réécriture, surtout si on utilise le résultat bien connu de [CFZ82] par schémas récursifs primitifs et l'extension décrite dans [vdM94] avec des règles de réécriture conditionnelles. En effet, une grammaire attribuée peut s'exprimée sous certaines conditions en un système de règles réécriture mais l'introduction des grammaires attribuée dynamiques éliminent l'une des contraintes les plus contraignantes (règles strictement décroissantes). En d'autre terme, il serait possible d'exprimer les transformations de grammaires attribuées en terme de transformation de système de réécriture, comme la transformation FNC-L_ordonnées décrite dans ma thèse [Par88] ou l'élimination des règles de copie décrite par Gilles ROUSSEL [Rou94b]. Il est important de placer cette étude dans le contexte de nos travaux de la section 3.1. J'ai discuté de cela avec Robert STRANDH qui travaille sur un langage équationnel ``The Equation Compiler'' et sa réaction a été relativement positive.