Semantic-driven generation with LFG-and PATR-style grammars

L'A. examine l'etroite relation existant entre le probleme de vacuite des langages fonctionnels lexicaux et des langages PATR et le probleme des systemes de generation qui consiste a determiner, pour une representation semantique donnee, s'il existe une phrase avec une structure de traits qui soit subsumee par les entrees. Il propose ainsi un theoreme simple qui permet de prouver l'indecidabilite du probleme de vacuite en le reduisant au probleme de vacuite que l'on trouve a l'intersection des langages arbitraires hors contexte. Cette etroite relation entre les problemes resulte du fait que l'indecidabilite du probleme de vacuite implique tout simplement l'indecidabilite de la generation gouvernee par la semantique. Ce resultat s'applique egalement a d'autres formalismes bases sur l'unification, tels que HPSG, dans la mesure ou ils sont assez puissants pour simuler des derivations hors contexte