1 transparent par page - Montefiore

Exemple
Evaluation de (3 + (2 + 1)) :
◮ Par l’axiome (S-ADD), on a (2 + 1) → 3.
◮ Par (S-RIGHT), (3 + (2 + 1)) → (3 + 3)
◮ Par (S-ADD), on a (3 + 3) → 6.
◮ Finalement :
(3 + (2 + 1)) → (3 + 3) → 6
La sémantique fixe l’ordre d’évaluation. On a :
et pas
((1 + 2) + (3 + 4)) → (3 + (3 + 4))
((1 + 2) + (3 + 4)) → ((1 + 2) + 7)
(Exercice : Ecrivez tous les E ∈ Exp tels que E → ((1 + 2) + 7))
161