Notations

Pour faciliter la lecture des exemples, on adopte les notations suivantes sur les valeurs de représentation :

• on n'indique pas les guillemets pour chaque chaîne de caractères figurant dans une représentation ;
• de ce fait, on distingue une utilisation en encadrant le symbole utilisé par des accolades ;
• un environnement local d'utilisation est "récursivement" représenté selon ces règles.

Par exemple (1) :

(def affect ()
   ((var) ":=" (exp) ";" "^M"))

est représenté :

(def affect ()
   ("{var}:={exp};"))

(en particulier, s'il n'y a pas nécessité de le conserver, on oublie le retour à la ligne "^M").

Par exemple (2) :

(def aux ()
   ((txt1 ((def X () ("0")))) " + " (txt2 ((comm)))))

donne :

(def aux ()
   ("{txt1 ((def X () ("0")))} + {txt2 ((comm))}"))