.inh = F.val

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R` egles S´ emantiques T → F T

T

.inh = F.val

T .val = T

.syn

T

→ ∗ F T

T

.inh = T

.inh × F.val T

.syn = T

.syn

T

→ ǫ T

.syn = T

.inh

F → digit F.val = digit.lexval

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.

IFT-3101 Compilation et interpr´etation R´evision hiver 2011

Exemple 5.3, entr´ ee 3 * 5

Productions R`egles S´emantiques T → F T^′ T^′.inh = F.val

T .val = T^′.syn

T^′ → ∗ F T₁^′ T₁^′.inh = T^′.inh ×F.val T^′.syn = T₁^′.syn

T^′ → ǫ T^′.syn = T^′.inh

F → digit F.val = digit.lexval

T₁^′ F₁

T

digit 3

5

5 15 15

3

T₂^′ F₂

*

3

digit

15 15

ǫ

Les attributs h´erit´es sont illustr´es `a gauche, et les attributs synth´etis´es, `a droite.