Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Traduction SAOUDI Lalia Traduction dirigée par la syntaxe IV Traduction dirigée par la syntaxe Généralités Comme son nom l ? indique la traduction dirigée s ? élabore en parallèle avec l ? analyse syntaxique et plus exactement c ? est l ? analyse syntaxiq

SAOUDI Lalia Traduction dirigée par la syntaxe IV Traduction dirigée par la syntaxe Généralités Comme son nom l ? indique la traduction dirigée s ? élabore en parallèle avec l ? analyse syntaxique et plus exactement c ? est l ? analyse syntaxique qui oriente la traduction Pour traduire une construction d ? un langage de programmation un compilateur peut avoir besoin de garder trace de nombreuses informations par conséquent on parlera de manière abstraite d ? attributs associés à la construction les valeurs de ces attributs sont calculées par des règles sémantiques associées aux productions de la grammaire Il existe deux notations pour associer des règles sémantiques aux productions les dé ?nitions dirigés pas la syntaxe et les schémas de traduction Dé ?nition Une dé ?nition dirigée par la syntaxe utilise une grammaire non contextuelle pour spéci ?er la structure syntaxique du texte d'entrée A chaque symbole de la grammaire on associe un ensemble d'attributs et à chaque production un ensemble de règles sémantiques pour calculer la valeur des attributs associés aux symboles apparaissant dans cette production La grammaire et l'ensemble des règles sémantiques constituent la dé ?nition dirigée par la syntaxe On notera X l l ? attribut d ? étiquette l associé au symbole X S'il y a plusieurs symboles X dans une production on les noteraX X ? Xn et X s'il est en partie gauche Structure d ? une dé ?nition dirigée par la syntaxe Dans une DDS chaque production A ??B de la grammaire possède un ensemble de règles sémantiques de la forme b f c c ? ck o? f est une fonction et - Soit b est un attribut synthétisé de A - Soit b est un attribut hérité d ? un des symboles en partie droite de la production Et c c ? ck sont des attributs de symboles quelconques de la production dans les deux cas on dit que b dépend de c c ? ck Les terminaux devraient ne posséder que des attributs synthétisés la valeur des attributs des terminaux est fournie par l ? analyseur lexical Exemple soit la DDS d ? un programme de calculatrice de bureau Productions Règles sémantiques L ?? E n Imprimer e val E ??E T E val E val T val E ??T E val T val T ??T F T val T val F val T ??F T val F val F ?? E F val E val F ??chi ?re F val chi ?re vallex DDS d ? une calculatrice de bureau La règle associée à la production L ??En dé ?nissant l ? axiome L est un appel de procédure qui imprime la valeur engendrée par E cette règle peut être considérée comme dé ?nissant un attribut factice du non-terminal L Attributs synthétisés Un attribut est synthétisé si sa valeur à un n ?ud d'un arbre syntaxique est déterminée à partir de valeurs d'attributs des ?ls de ce n ?ud Les attributs synthétisés sont utilisés intensivement en pratique Une