Références: [Tav88] Avec Isabelle ATTALI nous n'avons pas encore étudié plus précisément les avantages de l'approche par grammaires attribuées dynamiques dans le contexte de la traduction de la sémantique naturelle (TYPOL ) vers des grammaires attribuées. Dans [Pet95], Mikael PETTERSSON prend l'optique d'une programmation fonctionnelle pour implanter son langage de programmation RML pour la sémantique naturelle avec du non-déterminisme, mais il compile dans un langage fonctionnel strict (voir la thèse d'habilitation d'Isabelle Attali [Att96]). Il me semble donc qu'en rajoutant du non-déterminisme aux grammaires attribuées nous pourrions fournir à la sémantique naturelle une alternative intéressante avec en plus la possibilité du choix du langage d'implantation (de la famille ML). En d'autres termes, j'aimerais faire la synthèse de nos travaux sur les GA dynamiques, de ceux d'Isabelle ATTALI sur l'évaluation fonctionnelle de TYPOL \ [AC90] et enfin les travaux de Mikael PETTERSSON pour arriver à définir la plus large sous-classe de la sémantique naturelle exécutable sur le modèle de calcul fonctionnel. Nos algorithmes de transformation (cf la section 2.9) jouent encore ici un grand rôle, comme dans [Paa94].