Exemple 5.12 avec l’entr´ ee : a − 4 + c

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R` egles S´ emantiques E → T E

E .node := E

. syn

E

. inh := T .node

E

→ + T E

E

. inh := new Node(‘+’, E

. inh, T .node ) E

. syn := E

. syn

E

→ −T E

E

. inh := new Node(‘ − ’, E

. inh, T .node ) E

. syn := E

. syn

E

→ ǫ E

. syn := E

. inh

T → ( E ) T .node := E .node

T → id T .node := new Leaf(id, id.entry )

T → num T .node := new Leaf(num, num.val )

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

a T

E

4 +

T

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num id a

N

a

N

E

T

4 +

T

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num id a

N

a

N

N

E

T

4 +

T

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num id a num

N

N

a

N

N

E

T

N

4 +

T

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

−

id a num

N

N

N

a

N

N

E

T

N

N

4 +

T

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

id

−

c

id a num

N

N

N

N

a

N

N

E

T

N

N

4 +

T

N

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

+

id

−

c

id a num

N

N

N

N

N

a

N

N

E

T

N

N

4 +

T

N

N

E

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

+

id

−

c

id a num

N

N

N

N

N

a

N

N

E

T

N

N

4 +

T

N

N

E

N

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

+

id

−

c

id a num

N

N

N

N

N

a

N

N

E

N

T

N

N

4 +

T

N

N

E

N

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

+

id

−

c

id a num

N

N

N

N

N

N

a

N

N

E

N

T

N

N

4 +

T

N

N

E

N

Exemple 5.12 avec l’entr´ ee : a − 4 + c

Production R`egles S´emantiques E → T E^′ E.node := E^′.syn

E^′.inh := T.node

E^′ → +T E₁^′ E₁^′.inh := new Node(‘+’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → −T E₁^′ E₁^′.inh := new Node(‘−’, E^′.inh, T.node) E^′.syn := E₁^′.syn

E^′ → ǫ E^′.syn := E^′.inh T →(E) T.node := E.node

T →id T.node := new Leaf(id, id.entry) T →num T.node := new Leaf(num, num.val)

E

T

E

id

num

+

id

−

c

id a num

N

N

N

N

N

N

N

a

N

N

E

N

T

N

N

4 +

T

N

N

E

N