Discussion :

[emmesse]

bonjour,

voici une grammaire (je l'ai simplifiée pour être plus concis)

E -> T E'
E' -> + T E'
E' -> production vide
T -> F T'
T' -> * F T'
F -> nb P
F -> ID P
F -> ( E ) P
F -> - F
P -> ^ F
P -> production vide

SI j'ajoute les règles sémantique pour les productions F et P, je ne sait pas si ceci est correcte:

F -> nb P......F.val = nb.valex
.....................P.h = nb.valex
F -> (E) P..... F.val=E.val
.....................P.h = E.val
F -> -F...........F.val =- F.val
P -> ^ F.........P.h = P.s ^ F.val
P -> epsilone.P.s = P.h

Il me semble que les deux dernière production présentent une définition circulaire.

comment gère-t-on l'operation puissance dans une dds L-attribuée?

[emmesse]

peut-être suffit-il de donner à E l'attribut synthétisé du calcul de l'exposant en guise d'exposant.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
F -> (E) P      |   F.s := E.s ^ P.s
 
F -> id P       |   F.s := id.val ^ P.s
 
P->  ^ F        |   P.s := F1.s
 
P -> epsilone   |   P.s := 1

qu'en pensez-vous?

[emmesse]

tout ceci est faux.
voir la solution https://www.developpez.net/forums/bl...-associatives/

[emmesse]

désolé pour le lien mort, le bon lien est https://www.developpez.net/forums/bl...-associatives/

[emmesse]

voici la définition dirigée la par la syntaxe de l'exposant:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
F -> nb P              |   P.h = nb.vallex
                       |   F.s = P.s
F -> identificateur P  |   P.h = identificateur.unilex
                       |   F.s = P.s
P -> ^ F               |   P.s = P.h ^ F.s
P -> epsilon           |   P.s = P.h

epsilon est la production vide

le schéma de traduction dirigé par la syntaxe :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
F -> nb { P.h = nb.vallex } P { F.s = P.s }
F -> identificateur { P.h = identificateur.unilex } P { F.s = P.s }
P -> ^ F { P.s = P.h ^ F.s }
P -> epsilon { P.s = P.h}

[emmesse]

moi-même :
ceci est faux:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

P -> ^ F

voir mon billet de blog:
https://www.developpez.net/forums/bl...-associatives/